Laan, Twan Dismas Laurens (1970-)

<http://data.bibliotheken.nl/id/thes/p126682585>

schema:Person
rdfs:label "Laan, Twan Dismas Laurens (1970-)"
schema:name "Twan Dismas Laurens Laan"
schema:familyName "Laan"
schema:givenName "Twan Dismas Laurens"
schema:alternateName "Laan, Twan"
schema:birthDate "1970"
schema:sameAs <http://viaf.org/viaf/76644025>
<https://isni.org/isni/0000000116759204>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/de9ad76ef5d7e9f9100e848a3a3bdf5e>

Inverse relations

[ .. ] → schema:contributor → Laan, Twan Dismas Laurens (1970-)

A correspondence between Nuprl and the ramified theory of types / by Fairouz Kamareddine and Twan Laanschema:ProductModel A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpeltschema:ProductModel A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan, and Rob Nederpeltschema:ProductModel A reflection on Russell's ramified types and Kripke's hierarchy of truths / by F. Kamareddine and T. Laanschema:ProductModel Parameters in pure type systems / by Twan Laan ... [et al.]schema:ProductModel

[ .. ] → schema:author → Laan, Twan Dismas Laurens (1970-)

A formalization of the ramified type theory / by Twan Laanschema:ProductModel AUTOMATH and pure type systems / by Twan Laanschema:ProductModel The evolution of type theory in logic and mathematics / Twan Dismas Laurens Laanschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql