Twan Laan

Available identifiers

zbMath Open laan.twanDBLP49/3913WikidataQ93433655 ScholiaQ93433655MaRDI QIDQ195252

List of research outcomes

Publication	Date of Publication	Type
Automath and Pure Type Systems	2013-06-06	Paper
Russell's Orders in Kripke's Theory of Truth and Computational Type Theory	2012-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q4664921	2005-04-09	Paper
A modern perspective on type theory. From its origins until today	2004-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q3044340	2004-08-11	Paper
Revisiting the notion of function	2003-06-25	Paper
Types in Logic and Mathematics before 1940	2003-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q2763649	2002-01-21	Paper
Embedding first-order logic in a pure type system with parameters	2002-01-07	Paper
A correspondence between Martin-Löf type theory, the ramified theory of types and pure type systems	2001-07-23	Paper
A modern elaboration of the ramified theory of types	1997-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4877445	1996-07-16	Paper

Research outcomes over time

This page was built for person: Twan Laan