Laan, Twan
Laan, Twan 1970-
Laan, Twan Dismas Laurens, 1970-....
Laan, Twan (Twan Dismas Laurens), 1970-
Twan Laan Ph.D. Technische Universiteit Eindhoven 1997
VIAF ID: 76644025 ( Personal )
Permalink: http://viaf.org/viaf/76644025
Preferred Forms
- 200 _ | ‡a Laan ‡b Twan
-
- 100 1 _ ‡a Laan, Twan (sparse)
- 100 1 _ ‡a Laan, Twan
-
-
- 100 1 _ ‡a Laan, Twan Dismas Laurens, ‡d 1970-....
-
- 100 1 _ ‡a Laan, Twan ‡d 1970-
- 100 1 _ ‡a Laan, Twan ‡d 1970-
-
- 100 0 _ ‡a Twan Laan ‡c Ph.D. Technische Universiteit Eindhoven 1997
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
The evolution of type theory in logic and mathematics | |
A formalization of the ramified type theory | |
A modern perspective on type theory : from its origins until today | |
Parameters in pure type systems | |
A reflection on Russell's ramified types and Kripke's hierarchy of truths |