A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths. - Fairouz Kamareddine; Twan Laan (Log. J. IGPL, 1996)

A modern elaboration of the ramified theory of types. - Twan Laan; Rob Nederpelt (Stud Logica, 1996)

Refining the Barendregt Cube Using Parameters. - Fairouz Kamareddine; Twan Laan; Rob Nederpelt (FLOPS, 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)

Embedding First-order Logic in a Pure Type System with Parameters. - Twan Laan; Michael Franssen (J. Log. Comput., 2001)

Parameters in Pure Type Systems. - Roel Bloo; Fairouz Kamareddine; Twan Laan; Rob Nederpelt (LATIN, 2002)

Types in logic and mathematics before 1940. - Fairouz Kamareddine; Twan Laan; Rob Nederpelt (Bull. Symb. Log., 2002)

Automath and Pure Type Systems. - Fairouz Kamareddine; Twan Laan; Rob Nederpelt (Mathematics, Logic and Computation @ ICALP, 2003)

Revisiting the notion of function. - Fairouz Kamareddine; Twan Laan; Rob Nederpelt (J. Log. Algebraic Methods Program., 2003)

Russell's Orders in Kripke's Theory of Truth and Computational Type Theory. - Fairouz Kamareddine; Twan Laan; Robert L. Constable (Sets and Extensions in the Twentieth Century, 2012)

A History of Types*. - Fairouz Kamareddine; Twan Laan; Rob Nederpelt (Logic: A History of its Central Concepts, 2012)