Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer, Berlin
SKU: 05274302
Price: 21201 HUF
Availability: InStock
Author: Marc Bezem
ISBN: 9783540565178

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

Marc Bezem

Jan F. Groote

Language

English

Book Paperback

Libristo code: 05274302

Publishers Springer, Berlin, November 1992

The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an in... Full description

Libristo code: 05274302

145 b

21 201 Ft

Low in stock at our supplier Shipping in 11-15 days

30-day return policy

Customers also purchased

AFTER VIRTUE JAMES MACMILLAN Printed items

Sheet music

2 703 Ft

El hombre hueco Manuel Navarro Villanueva

Paperback

11 144 Ft

Répertoire des saveurs - Encore plus de saveurs ! Niki Segnit

Paperback

13 640 Ft

AFRO CUBAN DRUMMING DVD PHIL MATURANO Video

DVD

9 012 Ft

Die Entstehung Der Barockkunst in ROM (1908) Alois Riegl

Hardback

16 021 Ft

Mat

Toy

834 Ft

SESAME STREET EARLY LEARNING ACTIVITY SESAME STREET Book

Hardback

10 177 Ft

Friedrich Nietzsche - Biographie und Lebenswerk unter besonderer Berucksichtigung der 'Unzeitgemassen Betrachtungen' Wolf Hannes Kalden

Paperback

6 249 Ft

Voicecoaching, m. 1 Audio-CD Karin Ploog

Sheet music

8 791 Ft

Die Wiedergutmachungs-Kartei, 96 farb. Karten Elke Dosch

Game

9 053 Ft

Syrinx 'La Flute de Pan', für Flöte Anders Ljungar-Chapelon

Paperback

3 739 Ft

Vogelstimmen im Flug, 1 MP3-CD + Begleitbuch Hans-Heiner Bergmann

Audio CD

15 100 Ft

DIEZ LECCIONES SOBRE LOS CLÁSICOS PIERO BOITANI

Hardback

5 724 Ft

Wirtschaftsaufsicht und Strafverfolgung Martin Böse

Hardback

67 523 Ft

Energiesymbolkarte Erfolg & Reichtum Werner Neuner

Paperback

2 510 Ft

Upcycle: Más que reciclaje. 24 proyectos DIY para el hogar PROCTOR

Paperback

8 777 Ft

CHI-FOOTPRINT CHEMISTRY CHANGE Xiaoli Deng

Paperback

6 631 Ft

Russian for Advanced Learners - Russkii Iazyk dlia prodvinutykh K. Rogova

Paperback

20 824 Ft

Le Collectivisme: Examen Critique Du Nouveau Socialisme Et L' Volution Du Socialisme Depuis 1895 Paul Leroy-Beaulieu

Paperback

12 397 Ft

Le chevalier d'Harmental Alexandre Dumas

Paperback

8 165 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.