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

by B. Nordström , K. Petersson , J. M. Smith
Citations:91 - 3 self

Document Versions

Martin-Löf’s Type Theory –B. Nordström, K. Petersson, J. M. Smith — 2000
Martin Löf's Type Theory –B. Nordström, K. Petersson, J. M. Smith — 1990