A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Typed Lambda Calculi and Applications

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Typed Lambda Calculi and Applications Marc Bezem
Libristo kód: 05274302
Kiadó Springer, Berlin, november 1992
The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an in... Teljes leírás
? points 136 b
19 818 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

#Antikriegslyrik Fabian Leonhard / Könyv Puha kötésű
common.buy 4 216 Ft
AFTER VIRTUE JAMES MACMILLAN Nyomtatványok Kotta
common.buy 2 702 Ft
El hombre hueco Manuel Navarro Villanueva / Könyv Puha kötésű
common.buy 11 119 Ft
Répertoire des saveurs - Encore plus de saveurs ! Niki Segnit / Könyv Puha kötésű
common.buy 13 646 Ft
AFRO CUBAN DRUMMING DVD PHIL MATURANO Filmek DVD
common.buy 9 021 Ft
Die Entstehung Der Barockkunst in ROM (1908) Alois Riegl / Könyv Kemény kötésű
common.buy 16 011 Ft
Olcsón
Mat / Játék Játék
common.buy 833 Ft
SESAME STREET EARLY LEARNING ACTIVITY SESAME STREET Könyv Kemény kötésű
common.buy 10 171 Ft
Friedrich Nietzsche - Biographie und Lebenswerk unter besonderer Berucksichtigung der 'Unzeitgemassen Betrachtungen' Wolf Hannes Kalden / Könyv Puha kötésű
common.buy 6 245 Ft
Voicecoaching, m. 1 Audio-CD Karin Ploog / Nyomtatványok Kotta
common.buy 8 201 Ft
Die Wiedergutmachungs-Kartei, 96 farb. Karten Elke Dosch / Játék Játék
common.buy 7 985 Ft
Syrinx 'La Flute de Pan', für Flöte Anders Ljungar-Chapelon / Könyv Puha kötésű
common.buy 3 765 Ft
Vogelstimmen im Flug, 1 MP3-CD + Begleitbuch Hans-Heiner Bergmann / Hanganyagok Audio CD
common.buy 15 105 Ft
DIEZ LECCIONES SOBRE LOS CLÁSICOS PIERO BOITANI / Könyv Kemény kötésű
common.buy 5 693 Ft
Wirtschaftsaufsicht und Strafverfolgung Martin Böse / Könyv Kemény kötésű
common.buy 67 497 Ft
Energiesymbolkarte Erfolg & Reichtum Werner Neuner / Könyv Puha kötésű
common.buy 2 527 Ft
Upcycle: Más que reciclaje. 24 proyectos DIY para el hogar PROCTOR / Könyv Puha kötésű
common.buy 8 726 Ft
CHI-FOOTPRINT CHEMISTRY CHANGE Xiaoli Deng / Könyv Puha kötésű
common.buy 6 627 Ft
Russian for Advanced Learners - Russkii Iazyk dlia prodvinutykh K. Rogova / Könyv Puha kötésű
common.buy 20 812 Ft
Le Collectivisme: Examen Critique Du Nouveau Socialisme Et L' Volution Du Socialisme Depuis 1895 Paul Leroy-Beaulieu / Könyv Puha kötésű
common.buy 12 389 Ft
Le chevalier d'Harmental Alexandre Dumas / Könyv Puha kötésű
common.buy 8 160 Ft
UN EXTRAÑO EN PRIMAVERA KANNA KII / Könyv Kemény kötésű
common.buy 4 975 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Typed Lambda Calculi and Applications
Szerző Marc Bezem, Jan F. Groote
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1993
Oldalszám 443
EAN 9783540565178
ISBN 3540565175
Libristo kód 05274302
Kiadó Springer, Berlin
Súly 596
Méretek 156 x 234 x 23

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Combinatorics on Traces Volker Diekert / Könyv Puha kötésű
common.buy 19 818 Ft
Capote Reader Truman Capote / Könyv Puha kötésű
common.buy 6 043 Ft
Evolution and Biogeography Martin Thiel / E-könyv Adobe ePub DRM
common.buy 48 306 Ft
Good Night: Prayers for Bedtime Kenneth Steven / Könyv Kemény kötésű
common.buy 4 128 Ft
Ayurveda Primer: The A, B, C's of Ayurvedic Medicine Swami Sadashiva Tirtha / Könyv Puha kötésű
common.buy 5 661 Ft
This Is Mine: My Story, My Life Malinda Phillips / Könyv Puha kötésű
common.buy 7 723 Ft
Forty Peaks Sushma / Könyv Puha kötésű
common.buy 9 398 Ft
What's in the Water Velma Benson Wilson / Könyv Kemény kötésű
common.buy 12 362 Ft
Compendium for the Antenatal Care of High-Risk Pregnancies Harini Narayan / Könyv Puha kötésű
common.buy 40 864 Ft
The Road To Memphis - B. B. King, 1 DVD B. B. /Rush King / Filmek DVD
common.buy 5 256 Ft
Knowledge Representation for Health Care David Ria?o / Könyv Puha kötésű
common.buy 15 878 Ft
Cuyahoga Valley National Park Handbook Carolyn Platt / Könyv Puha kötésű
common.buy 5 270 Ft
Residence at Whitminster (Fantasy and Horror Classics) M R James / Könyv Puha kötésű
common.buy 4 860 Ft
Christmas Cake Recipes Cookbook: 150+ Festive Sweets and Treats to Make a Magical Christmas Shirley Rosen / Könyv Puha kötésű
common.buy 3 604 Ft
Governing Disasters Shahla F. Ali / Könyv Puha kötésű
common.buy 18 244 Ft
Six Greek Dances for Piano & Oboe (Opus 45) Evangelos C Sembos / Könyv Puha kötésű
common.buy 6 641 Ft
Measuring Behaviour Paul Martin / Könyv Puha kötésű
common.buy 14 433 Ft
100 BEST GLUTEN Free SMOOTHIES: Feel healthier, lose weight and be happier Mariana Correa / Könyv Puha kötésű
common.buy 6 259 Ft
Annual Report New Jersey Bureau of Statistics of Labo / Könyv Puha kötésű
common.buy 10 595 Ft
Toplistás
Human Locomotion: The Conservative Management of Gait-Related Disorders Thomas C Michaud / Könyv Puha kötésű
common.buy 14 258 Ft
Experimental Practice Dimitris Papadopoulos / Könyv Puha kötésű
common.buy 14 304 Ft
Systemic Decision Making Patrick T. Hester / Könyv Puha kötésű
common.buy 34 881 Ft
DK Eyewitness Berlin Mini Map and Guide DK Travel / Könyv Puha kötésű
common.buy 1 956 Ft
Last Letters of Jacopo Ortis Ugo Foscolo / Könyv Puha kötésű
common.buy 3 281 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?