Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer, Berlin
SKU: 05274302
Price: 54.43 EUR
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

Език

Английски език

Книга С меки корици

Код Либристо: 05274302

Издателство Springer, Berlin, ноември 1992

The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an in... Цялото описание

Код Либристо: 05274302

132 b

54.43 €

106.45 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Die Entstehung Der Barockkunst in ROM (1908) Alois Riegl

С твърди корици

42.06 € 82.27 лв

SESAME STREET EARLY LEARNING ACTIVITY SESAME STREET Книга

С твърди корици

26.18 € 51.20 лв

AFTER VIRTUE JAMES MACMILLAN Печатни материали

Ноти

7.86 € 15.37 лв

#Antikriegslyrik Fabian Leonhard

С меки корици

11.59 € 22.66 лв

El hombre hueco Manuel Navarro Villanueva

С меки корици

29.02 € 56.76 лв

AFRO CUBAN DRUMMING DVD PHIL MATURANO Видео

DVD

26.07 € 50.99 лв

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

С меки корици

40.15 € 78.52 лв

Mat

Играчка

4.03 € 7.88 лв

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

С меки корици

10.96 € 21.44 лв

Wirtschaftsaufsicht und Strafverfolgung Martin Böse

С твърди корици

200.29 € 391.74 лв

Energiesymbolkarte Erfolg & Reichtum Werner Neuner

С меки корици

6.93 € 13.55 лв

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

С меки корици

22.45 € 43.91 лв

CHI-FOOTPRINT CHEMISTRY CHANGE Xiaoli Deng

С меки корици

17.17 € 33.59 лв

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

С меки корици

62.29 € 121.83 лв

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

Аудио компактдиск

44.44 € 86.92 лв

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

С меки корици

32.59 € 63.75 лв

Le chevalier d'Harmental Alexandre Dumas

С меки корици

21.31 € 41.68 лв

Die Wiedergutmachungs-Kartei, 96 farb. Karten Elke Dosch

Игра

21.88 € 42.80 лв

UN EXTRAÑO EN PRIMAVERA KANNA KII

С твърди корици

16.86 € 32.98 лв

Voicecoaching, m. 1 Audio-CD Karin Ploog

Ноти

22.45 € 43.91 лв

DIEZ LECCIONES SOBRE LOS CLÁSICOS PIERO BOITANI

С твърди корици

14.48 € 28.33 лв

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.