Coming to terms with modal logic : on the interpretation of modalities in typed →l⇋-calculus / Valentijn Anton Johan Borghuis
Auteursnaam op omslag: Tijn Borghuis
| rdfs:label | "Coming to terms with modal logic : on the interpretation of modalities in typed →l⇋-calculus / Valentijn Anton Johan Borghuis" |
| schema:name | "Coming to terms with modal logic : on the interpretation of modalities in typed →l⇋-calculus" |
| schema:author | Borghuis, Valentijn Anton Johan (1963-) |
| schema:description | "Auteursnaam op omslag: Tijn Borghuis" |
| "Proefschrift Technische Universiteit Eindhoven" | |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1994" |
| schema:about |
<http:/ |
| Type theory | |
| Lambda-calculus | |
| Modale logica | |
| logica | |
| informatietechnologie | |
|
schema:in |
"en" |
|
schema:number |
219 |
| schema:publication |
<https:/ |