Twan Laan - researchr alias

researchr

You are not signed in
Sign in
Sign up

2003

Revisiting the notion of functionFairouz Kamareddine, Twan Laan, Rob Nederpelt. jlp, 54(1-2):65-107, 2003. [doi]

Automath and Pure Type SystemsFairouz Kamareddine, Twan Laan, Rob Nederpelt. ENTCS, 85(7), 2003. [doi]

2002

Parameters in Pure Type SystemsRoel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt. latin 2002: 371-385 [doi]

Types in logic and mathematics before 1940Fairouz Kamareddine, Twan Laan, Rob Nederpelt. bsl, 8(2):185-245, 2002. [doi]

2001

Refining the Barendregt Cube Using ParametersFairouz Kamareddine, Twan Laan, Rob Nederpelt. FLOPS 2001: 375-390 [doi]

A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type SystemsFairouz Kamareddine, Twan Laan. jolli, 10(3):375-402, 2001.

Embedding First-order Logic in a Pure Type System with ParametersTwan Laan, Michael Franssen. logcom, 11(4):545-557, 2001. [doi]

1996

A Reflection on Russell s Ramified Types and Kripke s Hierarchy of TruthsFairouz Kamareddine, Twan Laan. igpl, 4(2):195-213, 1996. [doi]

A modern elaboration of the ramified theory of typesTwan Laan, Rob Nederpelt. sLogica, 57(2/3):243-278, 1996.