Marc Bezem (bezem)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Bezem, Marc. 2006. “Review of Kamareddine, Laan and Nederpelt (2005).” The Bulletin of Symbolic Logic 12(1): 296–297.
Further References
Kamareddine, Fairouz, Laan, Twan and Nederpelt, Rob P. 2005. A Modern Perspective on Type Theory. From its Origins until Today. Dordrecht: Springer.