Henk Barendregt
Artículos populares por Henk Barendregt
Ver todas las ofertas-
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (LECTURE NOTES IN COMP)
Barendregt, Henk
Precios de los artículos a partir de
Ver 15 ofertasEUR 4,34
-
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 3 ofertasEUR 18,58
-
A Lambda Calculus Satellite
Manzonetto, Giulio; Barendregt, Henk
Precios de los artículos a partir de
Ver 34 ofertasEUR 24,37
-
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Barendregt, Henk
Precios de los artículos a partir de
Ver 23 ofertasEUR 29,44
-
Lambda Calculus with Types Hardback (Perspectives in Logic)
Barendregt; Dekkers; Statman
Precios de los artículos a partir de
Ver 22 ofertasEUR 46,06
