Book review of: H. Barendregt et al., Lambda calculus with types (Q2922875)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Book review of: H. Barendregt et al., Lambda calculus with types |
scientific article; zbMATH DE number 6355608
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Book review of: H. Barendregt et al., Lambda calculus with types |
scientific article; zbMATH DE number 6355608 |
Statements
15 October 2014
0 references
Book review of: H. Barendregt et al., Lambda calculus with types (English)
0 references
