Twan Laan

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

Publications

Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Revisiting the notion of function. J. Log. Algebraic Methods Program. 54 (1-2) (2003)
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Automath and Pure Type Systems. Electron. Notes Theor. Comput. Sci. 85 (7) (2003)
Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Parameters in Pure Type Systems. LATIN (2002)
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Types in logic and mathematics before 1940. Bull. Symb. Log. 8 (2) (2002)
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Refining the Barendregt Cube Using Parameters. FLOPS (2001)
Fairouz Kamareddine, Twan Laan
A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems. J. Log. Lang. Inf. 10 (3) (2001)
Twan Laan, Michael Franssen
Embedding First-order Logic in a Pure Type System with Parameters. J. Log. Comput. 11 (4) (2001)
Fairouz Kamareddine, Twan Laan
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths. Log. J. IGPL 4 (2) (1996)
Twan Laan, Rob Nederpelt
A modern elaboration of the ramified theory of types. Stud Logica 57 (2/3) (1996)