Semantics of constructive type theory I / Adrian Rezus

<http://data.bibliotheken.nl/id/nbt/p044808097>

schema:CreativeWork schema:Book schema:ProductModel
rdfs:label "Semantics of constructive type theory I / Adrian Rezus"
schema:name "Semantics of constructive type theory I"
schema:author Department of Informatics (Nijmegen)
Rezus, Adrian (1949-)
schema:sameAs <http://www.worldcat.org/oclc/64666753>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/6eca4d31e32faecacf10fb7910161a2a>
http://purl.org/dc/terms#issued "1987"
schema:about computerlinguïstiek
schema:inLanguage "en"
schema:isPartOf Internal Report / Department of Informatics
schema:numberOfPages 88
schema:publication <https://data.bibliotheken.nl/.well-known/genid/0dcf8e860765ac083eec88fe0b4b0007>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql