Henk Barendregt

Lambda Calculus with Types (Perspectives in Logic)

2013 · ENGLISH · PDF

View details →

Lambda Calculus with Types

2013 · ENGLISH · PDF

View details →

Dirk van Dalen Festschrift

1993 · ENGLISH · PDF

View details →

Dirk van Dalen Festschrift

1993 · ENGLISH · DJVU

View details →

Lambda Calculus with Types

2013 · ENGLISH · PDF

View details →

Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

1994 · ENGLISH · DJVU

View details →

ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

1990 · ENGLISH · DJVU

View details →