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 23 offresEUR 21,68
-
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Barendregt, Henk
Prix des articles à partir de
Afficher les 5 offresEUR 20,81
-
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 13 offresEUR 31,15
-
A Lambda Calculus Satellite
Barendregt, Henk; Manzonetto, Giulio
Prix des articles à partir de
Afficher les 18 offresEUR 44,59
-
Lambda Calculus with Types
Barendregt, Henk; Dekkers, Wil; Statman, Richard
Prix des articles à partir de
Afficher les 18 offresEUR 122,06
-
The Dark Side of the Mirror: Forgetting the Self in Dogen's Genjo Koan
Brazier, David
Prix des articles à partir de
Afficher les 29 offresEUR 7,05
