Henk Barendregt
Beliebte Artikel von Henk Barendregt
Alle Angebote anzeigen-
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Barendregt, Henk
Artikelpreise ab
26 Angebote anzeigenEUR 14,88
-
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Series on Term Rewriting and Logic)
Barendregt, Henk
Artikelpreise ab
5 Angebote anzeigenEUR 20,80
-
A Lambda Calculus Satellite
Barendregt, Henk; Manzonetto, Giulio
Artikelpreise ab
19 Angebote anzeigenEUR 44,57
-
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806, Band 806)
Nipkow, Tobias; Barendregt, Henk
Artikelpreise ab
14 Angebote anzeigenEUR 55,17
-
Lambda Calculus with Types (Perspectives in Logic)
Barendregt, Henk; Dekkers, Wil; Statman, Richard
Artikelpreise ab
19 Angebote anzeigenEUR 122,00
-
The Dark Side of the Mirror: Forgetting the Self in Dogen's Genjo Koan: Forgetting the Self in Dōgen's Genjō Kōan
Brazier, David
Artikelpreise ab
31 Angebote anzeigenEUR 8,65
