2003 |
9 | EE | Fairouz Kamareddine,
Twan Laan,
Rob Nederpelt:
Automath and Pure Type Systems.
Electr. Notes Theor. Comput. Sci. 85(7): (2003) |
8 | EE | Fairouz Kamareddine,
Twan Laan,
Rob Nederpelt:
Revisiting the notion of function.
J. Log. Algebr. Program. 54(1-2): 65-107 (2003) |
2002 |
7 | EE | Roel Bloo,
Fairouz Kamareddine,
Twan Laan,
Rob Nederpelt:
Parameters in Pure Type Systems.
LATIN 2002: 371-385 |
6 | EE | Fairouz Kamareddine,
Twan Laan,
Rob Nederpelt:
Types in logic and mathematics before 1940.
Bulletin of Symbolic Logic 8(2): 185-245 (2002) |
2001 |
5 | EE | Fairouz Kamareddine,
Twan Laan,
Rob Nederpelt:
Refining the Barendregt Cube Using Parameters.
FLOPS 2001: 375-390 |
4 | EE | Twan Laan,
Michael Franssen:
Embedding First-order Logic in a Pure Type System with Parameters.
J. Log. Comput. 11(4): 545-557 (2001) |
3 | | Fairouz Kamareddine,
Twan Laan:
A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems.
Journal of Logic, Language and Information 10(3): 375-402 (2001) |
1996 |
2 | EE | Fairouz Kamareddine,
Twan Laan:
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths.
Logic Journal of the IGPL 4(2): 195-213 (1996) |
1 | | Twan Laan,
Rob Nederpelt:
A modern elaboration of the ramified theory of types.
Studia Logica 57(2/3): 243-278 (1996) |