Twan Laan

According to our database1, Twan Laan authored at least 11 papers between 1996 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
A History of Types<sup>*</sup>.
Proceedings of the Logic: A History of its Central Concepts, 2012

Russell's Orders in Kripke's Theory of Truth and Computational Type Theory.
Proceedings of the Sets and Extensions in the Twentieth Century, 2012

2003
Revisiting the notion of function.
J. Log. Algebraic Methods Program., 2003

Automath and Pure Type Systems.
Proceedings of the Mathematics, 2003

2002
Types in logic and mathematics before 1940.
Bull. Symb. Log., 2002

Parameters in Pure Type Systems.
Proceedings of the LATIN 2002: Theoretical Informatics, 2002

2001
Embedding First-order Logic in a Pure Type System with Parameters.
J. Log. Comput., 2001

A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems.
J. Log. Lang. Inf., 2001

Refining the Barendregt Cube Using Parameters.
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

1996
A modern elaboration of the ramified theory of types.
Stud Logica, 1996

A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths.
Log. J. IGPL, 1996


  Loading...