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 Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian 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: 19766 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

136 b

19 766 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

#Antikriegslyrik Fabian Leonhard

Paperback

4 205 Ft

AFTER VIRTUE JAMES MACMILLAN Printed items

Sheet music

2 694 Ft

El hombre hueco Manuel Navarro Villanueva

Paperback

11 108 Ft

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

Paperback

13 596 Ft

AFRO CUBAN DRUMMING DVD PHIL MATURANO Video

DVD

8 983 Ft

Die Entstehung Der Barockkunst in ROM (1908) Alois Riegl

Hardback

15 969 Ft

Mat

Toy

831 Ft

SESAME STREET EARLY LEARNING ACTIVITY SESAME STREET Book

Hardback

10 144 Ft

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

Paperback

6 229 Ft

Voicecoaching, m. 1 Audio-CD Karin Ploog

Sheet music

8 180 Ft

Die Wiedergutmachungs-Kartei, 96 farb. Karten Elke Dosch

Game

9 024 Ft

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

Paperback

3 727 Ft

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

Audio CD

15 051 Ft

DIEZ LECCIONES SOBRE LOS CLÁSICOS PIERO BOITANI

Hardback

5 706 Ft

Wirtschaftsaufsicht und Strafverfolgung Martin Böse

Hardback

67 307 Ft

Energiesymbolkarte Erfolg & Reichtum Werner Neuner

Paperback

2 520 Ft

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

Paperback

8 749 Ft

CHI-FOOTPRINT CHEMISTRY CHANGE Xiaoli Deng

Paperback

6 610 Ft

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

Paperback

20 757 Ft

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

Paperback

12 357 Ft

Le chevalier d'Harmental Alexandre Dumas

Paperback

8 139 Ft

UN EXTRAÑO EN PRIMAVERA KANNA KII

Hardback

4 962 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.