Twan Laan

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

A History of Types^*.

Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Proceedings of the Logic: A History of its Central Concepts, 2012

Russell's Orders in Kripke's Theory of Truth and Computational Type Theory.

Fairouz Kamareddine, Twan Laan, Robert L. Constable

Proceedings of the Sets and Extensions in the Twentieth Century, 2012

2003

Revisiting the notion of function.

Fairouz Kamareddine, Twan Laan, Rob Nederpelt

J. Log. Algebraic Methods Program., 2003

Automath and Pure Type Systems.

Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Proceedings of the Mathematics, 2003

2002

Types in logic and mathematics before 1940.

Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Bull. Symb. Log., 2002

Parameters in Pure Type Systems.

Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

2001

Embedding First-order Logic in a Pure Type System with Parameters.

Twan Laan, Michael Franssen

J. Log. Comput., 2001

A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems.

Fairouz Kamareddine, Twan Laan

J. Log. Lang. Inf., 2001

Refining the Barendregt Cube Using Parameters.

Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

1996

A modern elaboration of the ramified theory of types.

Twan Laan, Rob Nederpelt

Stud Logica, 1996

A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths.

Fairouz Kamareddine, Twan Laan

Log. J. IGPL, 1996