A Classical Set-Theoretic Model of Polymorphic Extensional Type Theory (1997)

Cached

Download Links

by Douglas J. Howe
Citations:5 - 1 self