A Modern Perspective on Type Theory From its Origins Until Today. Applied Logic Series (2004)

by F Kamareddine, T Laan, R Nederpelt