Henk Barendregt
Articoli popolari di Henk Barendregt
Visualizza tutte le offerte-
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Barendregt, Henk
Prezzi articolo a partire da
Visualizza 4 offerteEUR 19,97
-
A Lambda Calculus Satellite
Barendregt, Henk; Manzonetto, Giulio
Prezzi articolo a partire da
Visualizza 39 offerteEUR 24,48
-
The Lambda Calculus. Its Syntax and Semantics
Barendregt, Henk
Prezzi articolo a partire da
Visualizza 24 offerteEUR 29,71
-
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers: 806
Nipkow, Tobias; Barendregt, Henk
Prezzi articolo a partire da
Visualizza 11 offerteEUR 59,63
-
Lambda Calculus with Types
Barendregt, Henk; Dekkers, Wil; Statman, Richard
Prezzi articolo a partire da
Visualizza 21 offerteEUR 77,28
