Logical semantics for concurrent lambda-calculus / M. Dezani-Ciancaglini
Proefschrift Katholieke Universiteit Nijmegen
| rdfs:label | "Logical semantics for concurrent lambda-calculus / M. Dezani-Ciancaglini" |
| schema:name | "Logical semantics for concurrent lambda-calculus" |
| schema:author | Dezani-Ciancaglini, Mariangiola (1946-) |
| schema:description | "Proefschrift Katholieke Universiteit Nijmegen" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1996" |
| schema:about | Semantics |
| wiskundige logica | |
| programmeertalen | |
| Logica | |
| Lambda-calculus | |
|
<http:/ |
|
| theoretische informatica | |
|
schema:in |
"en" |
| schema:isbn | "9090098895" |
|
schema:number |
148 |
| schema:publication |
<https:/ |