|
rdfs:label
|
"A formalization of the ramified type theory / by Twan Laan"
|
|
schema:name
|
"A formalization of the ramified type theory"
|
|
schema:author
|
Department of Mathematics and Computing Science (Eindhoven ; 1986-....)
|
|
Laan, Twan Dismas Laurens (1970-)
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/69192850>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/83347f8a40ca2e2a355cccb368fcf5aa>
|
|
http://purl.org/dc/terms#issued
|
"1994"
|
|
schema:about
|
computerwiskunde
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
Computing science reports / Eindhoven University of Technology, Department of Mathematics and Computing Science
|
|
schema:numberOfPages
|
40
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/7509e47029d5b9b419e3dba445cecaf5>
|