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 23,01
-
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Series on Term Rewriting and Logic)
Barendregt, Henk
Artikelpreise ab
9 Angebote anzeigenEUR 19,25
-
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (LECTURE NOTES IN COMP)
Barendregt, Henk
Artikelpreise ab
14 Angebote anzeigenEUR 39,43
-
A Lambda Calculus Satellite
Barendregt, Henk; Manzonetto, Giulio
Artikelpreise ab
20 Angebote anzeigenEUR 42,70
-
Lambda Calculus with Types (Perspectives in Logic)
Barendregt, Henk; Dekkers, Wil; Statman, Richard
Artikelpreise ab
19 Angebote anzeigenEUR 109,43
