Extensional Equality in Intensional Type Theory (1999)

Cached

Download Links

by Thorsten Altenkirch
Venue:In LICS 99
Citations:20 - 10 self