Twan Laan - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2012

Russell's Orders in Kripke's Theory of Truth and Computational Type TheoryFairouz Kamareddine, Twan Laan, Robert L. Constable. In Dov M. Gabbay, Akihiro Kanamori, John Woods, editors, Sets and Extensions in the Twentieth Century. Volume 6 of Handbook of the History of Logic, pages 801-845, Elsevier, 2012. [doi]

*Fairouz Kamareddine, Twan Laan, Rob Nederpelt. In Dov M. Gabbay, Francis Jeffry Pelletier, John Woods, editors, Logic: A History of its Central Concepts. Volume 11 of Handbook of the History of Logic, pages 451-511, Elsevier, 2012. [doi]

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):30-49, 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.

Sign in or sign up to see more results.

runs on WebDSL