Extensional Concepts in Intensional Type Theory (1995)

by Martin Hofmann