Fairouz Kamareddine (kamareddine)

Contributions to Philosophie.ch

Bibliography

Kamareddine, Fairouz. 1992. “\(\lambda\)-Terms, Logic, Determiners and Quantifiers.” Journal of Logic, Language, and Information 1(1): 79–103.
Kamareddine, Fairouz. 1995a. “A Type Free Theory and Collective/Distributive Predication.” Journal of Logic, Language, and Information 4(2): 85–109.
Kamareddine, Fairouz. 1995b. “Are Types Needed for Natural Language?” in Applied Logic: How, What, and Why? Logical Approaches to Natural Language, edited by László Pólos and Michael Masuch, pp. 79–120. Synthese Library n. 247. Dordrecht: Kluwer Academic Publishers.
Kamareddine, Fairouz and Klein, Ewan. 1993. “Nominalization, Predication and Type Containment.” Journal of Logic, Language, and Information 2(3): 171–215.
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.
Kamareddine, Fairouz and Nederpelt, Rob P. 2004. “A Refinement of de Bruijn’s Formal Language of Mathematics.” Journal of Logic, Language, and Information 13(3): 287–340.
Kamareddine, Fairouz, Wells, Joe, Zengler, Christoph and Barendregt, Henk P. 2014. “Computerizing Mathematical Text.” in Handbook of the History of Logic. Volume 9: Computational Logic, edited by Jörg H. Siekmann and Dov M. Gabbay, pp. 343–397. Amsterdam: Elsevier Science Publishers B.V.