Some extensional term models for combinatory logics and labda - calculi / by Hendrik Pieter Barendregt ; [with a summary in Dutch]
Proefschrift Utrecht
| rdfs:label | "Some extensional term models for combinatory logics and labda - calculi / by Hendrik Pieter Barendregt ; [with a summary in Dutch]" |
| schema:name | "Some extensional term models for combinatory logics and labda - calculi" |
| schema:author | Barendregt, Hendrik Pieter (1947-) |
| schema:description | "Proefschrift Utrecht" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1971" |
|
schema:in |
"en" |
|
schema:number |
140 |
| schema:publication |
<https:/ |