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
Nipkow, Tobias; Barendregt, Henk
Prix des articles à partir de
Afficher les 16 offresEUR 4,36
-
A Lambda Calculus Satellite
Barendregt, Henk; Manzonetto, Giulio
Prix des articles à partir de
Afficher les 33 offresEUR 24,46
-
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Barendregt, Henk
Prix des articles à partir de
Afficher 1 offreEUR 20,97
Rechercher également
Neuf -
The Lambda Calculus. Its Syntax and Semantics
Barendregt, Henk
Prix des articles à partir de
Afficher les 25 offresEUR 29,60
-
Lambda Calculus with Types
Barendregt, Henk; Dekkers, Wil; Statman, Richard
Prix des articles à partir de
Afficher les 22 offresEUR 46,24
