Rob P. Nederpelt (nederpelt)

Beiträge zu Philosophie.ch

Bibliography

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.
Nederpelt, Rob P., Geuvers, J. Herman and Vrijer, Roel C. de, eds. 1994. Selected Papers on Automath. Studies in Logic and the Foundations of Mathematics n. 133. Amsterdam: North-Holland Publishing Co.