Models for simply typed lambda-calculi with fixed point combinators and enumerators / Johannes Petrus Cornelius Maria van Draanen
Auteursnaam op omslag: Jean-Pierre van Draanen
| rdfs:label | "Models for simply typed lambda-calculi with fixed point combinators and enumerators / Johannes Petrus Cornelius Maria van Draanen" |
| schema:name | "Models for simply typed lambda-calculi with fixed point combinators and enumerators" |
| schema:author | Draanen, Johannes Petrus Cornelius Maria van (1966-) |
| schema:description | "Auteursnaam op omslag: Jean-Pierre van Draanen" |
| "Proefschrift Katholieke Universiteit Nijmegen" | |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1995" |
| schema:about | Lambda-calculus |
| functietheorie | |
| combinatietheorie | |
|
<http:/ |
|
| Type theory | |
| wiskundige logica | |
|
schema:in |
"en" |
| schema:isbn | "9090081968" |
|
schema:number |
211 |
| schema:publication |
<https:/ |