Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Typed Lambda Calculi and Applications

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

Limba englezăengleză
Carte Carte broșată
Carte Typed Lambda Calculi and Applications Marc Bezem
Codul Libristo: 05274302
Editura Springer, Berlin, noiembrie 1992
The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an in... Descrierea completă
? points 132 b
285.22 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

#Antikriegslyrik Fabian Leonhard / Carte Carte broșată
common.buy 60.61 lei
AFTER VIRTUE JAMES MACMILLAN Materiale tipărite Note muzicale
common.buy 40.02 lei
El hombre hueco Manuel Navarro Villanueva / Carte Carte broșată
common.buy 165.22 lei
Répertoire des saveurs - Encore plus de saveurs ! Niki Segnit / Carte Carte broșată
common.buy 202.24 lei
AFRO CUBAN DRUMMING DVD PHIL MATURANO Videoclip DVD
common.buy 129.03 lei
Die Entstehung Der Barockkunst in ROM (1908) Alois Riegl / Carte Copertă tare
common.buy 231.04 lei
Leftin
Mat / Joc / Jucărie Jucărie
common.buy 12.36 lei
SESAME STREET EARLY LEARNING ACTIVITY SESAME STREET Carte Copertă tare
common.buy 145.67 lei
Friedrich Nietzsche - Biographie und Lebenswerk unter besonderer Berucksichtigung der 'Unzeitgemassen Betrachtungen' Wolf Hannes Kalden / Carte Carte broșată
common.buy 89.62 lei
Voicecoaching, m. 1 Audio-CD Karin Ploog / Materiale tipărite Note muzicale
common.buy 117.60 lei
Die Wiedergutmachungs-Kartei, 96 farb. Karten Elke Dosch / Joc / Jucărie Joc
common.buy 134.23 lei
Syrinx 'La Flute de Pan', für Flöte Anders Ljungar-Chapelon / Carte Carte broșată
common.buy 55.41 lei
Vogelstimmen im Flug, 1 MP3-CD + Begleitbuch Hans-Heiner Bergmann / Audio Audio CD
common.buy 223.87 lei
DIEZ LECCIONES SOBRE LOS CLÁSICOS PIERO BOITANI / Carte Copertă tare
common.buy 84.84 lei
Wirtschaftsaufsicht und Strafverfolgung Martin Böse / Carte Copertă tare
common.buy 1 001.26 lei
Energiesymbolkarte Erfolg & Reichtum Werner Neuner / Carte Carte broșată
common.buy 36.38 lei
Upcycle: Más que reciclaje. 24 proyectos DIY para el hogar PROCTOR / Carte Carte broșată
common.buy 130.18 lei
CHI-FOOTPRINT CHEMISTRY CHANGE Xiaoli Deng / Carte Carte broșată
common.buy 95.24 lei
Russian for Advanced Learners - Russkii Iazyk dlia prodvinutykh K. Rogova / Carte Carte broșată
common.buy 308.82 lei
Le Collectivisme: Examen Critique Du Nouveau Socialisme Et L' Volution Du Socialisme Depuis 1895 Paul Leroy-Beaulieu / Carte Carte broșată
common.buy 178.84 lei
Le chevalier d'Harmental Alexandre Dumas / Carte Carte broșată
common.buy 117.60 lei
UN EXTRAÑO EN PRIMAVERA KANNA KII / Carte Copertă tare
common.buy 71.63 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Typed Lambda Calculi and Applications
Autor Marc Bezem, Jan F. Groote
Limba engleză
Legare Carte - Carte broșată
Data publicării 1993
Număr pagini 443
EAN 9783540565178
ISBN 3540565175
Codul Libristo 05274302
Editura Springer, Berlin
Greutatea 596
Dimensiuni 156 x 234 x 23

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Combinatorics on Traces Volker Diekert / Carte Carte broșată
common.buy 285.22 lei
Capote Reader Truman Capote / Carte Carte broșată
common.buy 89.62 lei
Evolution and Biogeography Martin Thiel / E-book Adobe ePub DRM
common.buy 712.18 lei
Good Night: Prayers for Bedtime Kenneth Steven / Carte Copertă tare
common.buy 54.58 lei
Ayurveda Primer: The A, B, C's of Ayurvedic Medicine Swami Sadashiva Tirtha / Carte Carte broșată
common.buy 81.62 lei
This Is Mine: My Story, My Life Malinda Phillips / Carte Carte broșată
common.buy 111.46 lei
Forty Peaks Sushma / Carte Carte broșată
common.buy 135.79 lei
What's in the Water Velma Benson Wilson / Carte Copertă tare
common.buy 178.84 lei
Compendium for the Antenatal Care of High-Risk Pregnancies Harini Narayan / Carte Carte broșată
common.buy 606.12 lei
The Road To Memphis - B. B. King, 1 DVD B. B. /Rush King / Videoclip DVD
common.buy 75.79 lei
Knowledge Representation for Health Care David Ria?o / Carte Carte broșată
common.buy 228.65 lei
Cuyahoga Valley National Park Handbook Carolyn Platt / Carte Carte broșată
common.buy 75.59 lei
Residence at Whitminster (Fantasy and Horror Classics) M R James / Carte Carte broșată
common.buy 70.18 lei
Christmas Cake Recipes Cookbook: 150+ Festive Sweets and Treats to Make a Magical Christmas Shirley Rosen / Carte Carte broșată
common.buy 51.98 lei
Governing Disasters Shahla F. Ali / Carte Carte broșată
common.buy 263.69 lei
Six Greek Dances for Piano & Oboe (Opus 45) Evangelos C Sembos / Carte Carte broșată
common.buy 95.97 lei
Measuring Behaviour Paul Martin / Carte Carte broșată
common.buy 214.20 lei
100 BEST GLUTEN Free SMOOTHIES: Feel healthier, lose weight and be happier Mariana Correa / Carte Carte broșată
common.buy 90.25 lei
Annual Report New Jersey Bureau of Statistics of Labo / Carte Carte broșată
common.buy 152.85 lei
Top
Human Locomotion: The Conservative Management of Gait-Related Disorders Thomas C Michaud / Carte Carte broșată
common.buy 205.67 lei
Experimental Practice Dimitris Papadopoulos / Carte Carte broșată
common.buy 207.02 lei
Systemic Decision Making Patrick T. Hester / Carte Carte broșată
common.buy 501.72 lei
DK Eyewitness Berlin Mini Map and Guide DK Travel / Carte Carte broșată
common.buy 27.96 lei
Last Letters of Jacopo Ortis Ugo Foscolo / Carte Carte broșată
common.buy 54.58 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?