Martin-Löf’s Type Theory (2000)

by B. Nordström, K. Petersson, J. M. Smith