Henk Barendregt
Articles populaires de Henk Barendregt
Afficher toutes les offres-
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers
Barendregt, Henk
Prix des articles à partir de
Afficher les 16 offresEUR 4,45
-
The Lambda Calculus. Its Syntax and Semantics
Barendregt, Henk
Prix des articles à partir de
Afficher les 28 offresEUR 16,52
-
Lambda Calculus with Types
Barendregt, Henk; Dekkers, Wil; Statman, Richard
Prix des articles à partir de
Afficher les 23 offresEUR 74,32
