Henk Barendregt
Artículos populares por Henk Barendregt
Ver todas las ofertas-
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Series on Term Rewriting and Logic)
Barendregt, Henk
Precios de los artículos a partir de
Ver 4 ofertasEUR 20,08
-
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Barendregt, Henk
Precios de los artículos a partir de
Ver 25 ofertasEUR 29,70
-
A Lambda Calculus Satellite
Manzonetto, Giulio; Barendregt, Henk
Precios de los artículos a partir de
Ver 37 ofertasEUR 31,07
-
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers: 806 (Lecture Notes in Computer Science, 806)
Nipkow, Tobias; Barendregt, Henk
Precios de los artículos a partir de
Ver 11 ofertasEUR 29,43
-
Lambda Calculus with Types Hardback (Perspectives in Logic)
Barendregt; Dekkers; Statman
Precios de los artículos a partir de
Ver 22 ofertasEUR 77,70
