Intersection type disciplines in Lambda Calculus and applicative term rewriting systems / Stephanus Johannes van Bakel
Samenvatting in het Nederlands
| rdfs:label | "Intersection type disciplines in Lambda Calculus and applicative term rewriting systems / Stephanus Johannes van Bakel" |
| schema:name | "Intersection type disciplines in Lambda Calculus and applicative term rewriting systems" |
| schema:author | Bakel, Stephanus Johannes van (1958-) |
| schema:description | "Samenvatting in het Nederlands" |
| "Proefschrift Nijmegen" | |
| "Auteursnaam op omslag: Steffen van Bakel" | |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1993" |
| schema:about | Rules of rewriting |
|
<http:/ |
|
| Functional programming | |
| Lambda-calculus | |
| wiskunde | |
|
schema:in |
"en" |
| schema:isbn | "9090057528" |
|
schema:number |
147 |
| schema:publication |
<https:/ |