Twan Laan (laan-t)

Contributions to Philosophie.ch

Bibliography

Kamareddine, Fairouz and Laan, Twan. 2001. “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.
Kamareddine, Fairouz, Laan, Twan and Constable, Robert L. 2012. “Russell’s Orders in Kripke’s Theory of Truth and Computational Type Theory.” in Handbook of the History of Logic. Volume 6: Sets and Extensions in the Twentieth Century, edited by Dov M. Gabbay, Akihiro Kanamori, and John Woods, pp. 801–846. Amsterdam: Elsevier Science Publishers B.V.
Kamareddine, Fairouz, Laan, Twan and Nederpelt, Rob P. 2005. A Modern Perspective on Type Theory. From its Origins until Today. Dordrecht: Springer.
Kamareddine, Fairouz, Laan, Twan and Nederpelt, Rob P. 2012. “A History of Types.” in Handbook of the History of Logic. Volume 11: Logic: A History of its Central Concepts, edited by Dov M. Gabbay, Francis Jeffry Pelletier, and John Woods, pp. 451–512. Amsterdam: Elsevier Science Publishers B.V.