Henk Barendregt
Articles populaires de Henk Barendregt
Afficher toutes les offres-
The Lambda Calculus. Its Syntax and Semantics
Barendregt, Henk
Prix des articles à partir de
Afficher les 27 offresEUR 21,25
-
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Barendregt, Henk
Prix des articles à partir de
Afficher les 9 offresEUR 19,30
-
A Lambda Calculus Satellite
Barendregt, Henk; Manzonetto, Giulio
Prix des articles à partir de
Afficher les 20 offresEUR 43,72
-
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 14 offresEUR 53,55
-
The Dark Side of the Mirror: Forgetting the Self in Dogen's Genjo Koan
Brazier, David
Prix des articles à partir de
Afficher les 20 offresEUR 12,30
