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

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