Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Typed Lambda Calculi and Applications

International Conference on Typed Lamdba Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings.

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Typed Lambda Calculi and Applications Marc Bezem
Libristo-code: 05274302
Uitgeverij Springer, Berlin, november 1992
The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an in... Volledige beschrijving
? points 125 b
51.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

#Antikriegslyrik Fabian Leonhard / Boek Gebonden (paperback)
common.buy 10.92 €
AFTER VIRTUE JAMES MACMILLAN Drukwerk Bladmuziek
common.buy 7.68 €
El hombre hueco Manuel Navarro Villanueva / Boek Gebonden (paperback)
common.buy 31.56 €
Répertoire des saveurs - Encore plus de saveurs ! Niki Segnit / Boek Gebonden (paperback)
common.buy 38.64 €
AFRO CUBAN DRUMMING DVD PHIL MATURANO Video Dvd
common.buy 26.09 €
Die Entstehung Der Barockkunst in ROM (1908) Alois Riegl / Boek Gebonden (harde band)
common.buy 42.08 €
Voordelig
Mat / Spel/speelgoed Speelgoed
common.buy 2.32 €
SESAME STREET EARLY LEARNING ACTIVITY SESAME STREET Boek Gebonden (harde band)
common.buy 26.20 €
Friedrich Nietzsche - Biographie und Lebenswerk unter besonderer Berucksichtigung der 'Unzeitgemassen Betrachtungen' Wolf Hannes Kalden / Boek Gebonden (paperback)
common.buy 16.18 €
Voicecoaching, m. 1 Audio-CD Karin Ploog / Drukwerk Bladmuziek
common.buy 21.14 €
Die Wiedergutmachungs-Kartei, 96 farb. Karten Elke Dosch / Spel/speelgoed Spel
common.buy 20.63 €
Syrinx 'La Flute de Pan', für Flöte Anders Ljungar-Chapelon / Boek Gebonden (paperback)
common.buy 10.61 €
Vogelstimmen im Flug, 1 MP3-CD + Begleitbuch Hans-Heiner Bergmann / Audio Audio cd
common.buy 42.69 €
DIEZ LECCIONES SOBRE LOS CLÁSICOS PIERO BOITANI / Boek Gebonden (harde band)
common.buy 16.18 €
Wirtschaftsaufsicht und Strafverfolgung Martin Böse / Boek Gebonden (harde band)
common.buy 200.22 €
Energiesymbolkarte Erfolg & Reichtum Werner Neuner / Boek Gebonden (paperback)
common.buy 6.57 €
Upcycle: Más que reciclaje. 24 proyectos DIY para el hogar PROCTOR / Boek Gebonden (paperback)
common.buy 24.88 €
CHI-FOOTPRINT CHEMISTRY CHANGE Xiaoli Deng / Boek Gebonden (paperback)
common.buy 17.19 €
Russian for Advanced Learners - Russkii Iazyk dlia prodvinutykh K. Rogova / Boek Gebonden (paperback)
common.buy 62.32 €
Le Collectivisme: Examen Critique Du Nouveau Socialisme Et L' Volution Du Socialisme Depuis 1895 Paul Leroy-Beaulieu / Boek Gebonden (paperback)
common.buy 32.57 €
Le chevalier d'Harmental Alexandre Dumas / Boek Gebonden (paperback)
common.buy 21.34 €
UN EXTRAÑO EN PRIMAVERA KANNA KII / Boek Gebonden (harde band)
common.buy 16.99 €

The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an interesting model of computation and became the prototype for untyped functional programming languages. Operational and denotational semantics for the calculus served as examples for other programming languages. In typed lambda calculi, lambda terms are classified according to their applicative behavior. In the 1960s it was discovered that the types of typed lambda calculi are infact appearances of logical propositions. Thus there are two possible views of typed lambda calculi:- as models of computation, where terms are viewed as programs in a typed programming language;- as logical theories, where the types are viewed as propositions and the terms as proofs. The practical spin-off from these studies are:- functional programming languages which are mathematically more succinct than imperative programs;- systems for automated proof checking based on lambdacaluli. This volume is the proceedings of TLCA '93, the first international conference on Typed Lambda Calculi and Applications, organized by the Department of Philosophy of Utrecht University. It includes 29 papers selected from 51submissions.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Typed Lambda Calculi and Applications
Auteur Marc Bezem, Jan F. Groote
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1993
Aantal pagina's 443
EAN 9783540565178
ISBN 3540565175
Libristo-code 05274302
Uitgeverij Springer, Berlin
Gewicht 596
Afmetingen 156 x 234 x 23

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Combinatorics on Traces Volker Diekert / Boek Gebonden (paperback)
common.buy 51.69 €
Capote Reader Truman Capote / Boek Gebonden (paperback)
common.buy 17.09 €
Evolution and Biogeography Martin Thiel / E-book Adobe ePub DRM
common.buy 136.18 €
Good Night: Prayers for Bedtime Kenneth Steven / Boek Gebonden (harde band)
common.buy 10.41 €
Ayurveda Primer: The A, B, C's of Ayurvedic Medicine Swami Sadashiva Tirtha / Boek Gebonden (paperback)
common.buy 14.86 €
This Is Mine: My Story, My Life Malinda Phillips / Boek Gebonden (paperback)
common.buy 20.33 €
Forty Peaks Sushma / Boek Gebonden (paperback)
common.buy 24.78 €
What's in the Water Velma Benson Wilson / Boek Gebonden (harde band)
common.buy 32.67 €
Compendium for the Antenatal Care of High-Risk Pregnancies Harini Narayan / Boek Gebonden (paperback)
common.buy 115.74 €
The Road To Memphis - B. B. King, 1 DVD B. B. /Rush King / Video Dvd
common.buy 13.75 €
Knowledge Representation for Health Care David Ria?o / Boek Gebonden (paperback)
common.buy 41.37 €
Cuyahoga Valley National Park Handbook Carolyn Platt / Boek Gebonden (paperback)
common.buy 13.55 €
Residence at Whitminster (Fantasy and Horror Classics) M R James / Boek Gebonden (paperback)
common.buy 12.74 €
Christmas Cake Recipes Cookbook: 150+ Festive Sweets and Treats to Make a Magical Christmas Shirley Rosen / Boek Gebonden (paperback)
common.buy 9.40 €
Governing Disasters Shahla F. Ali / Boek Gebonden (paperback)
common.buy 48.15 €
Six Greek Dances for Piano & Oboe (Opus 45) Evangelos C Sembos / Boek Gebonden (paperback)
common.buy 17.39 €
Measuring Behaviour Paul Martin / Boek Gebonden (paperback)
common.buy 42.89 €
100 BEST GLUTEN Free SMOOTHIES: Feel healthier, lose weight and be happier Mariana Correa / Boek Gebonden (paperback)
common.buy 16.38 €
Annual Report New Jersey Bureau of Statistics of Labo / Boek Gebonden (paperback)
common.buy 27.81 €
TOP
Human Locomotion: The Conservative Management of Gait-Related Disorders Thomas C Michaud / Boek Gebonden (paperback)
common.buy 37.32 €
Experimental Practice Dimitris Papadopoulos / Boek Gebonden (paperback)
common.buy 37.83 €
Body of Knowledge Review Series MGMA / Boek Gebonden (paperback)
common.buy 66.36 €
Systemic Decision Making Patrick T. Hester / Boek Gebonden (paperback)
common.buy 90.75 €
DK Eyewitness Berlin Mini Map and Guide DK Travel / Boek Gebonden (paperback)
common.buy 4.95 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken