Elimination of extensionality in Martin-Löf type theory, in: Henk Barendregt, Tobias Nipkow (Eds (1993)

by Martin Hofmann
Venue:Types for Proofs and Programs. International Workshop TYPES’93, in: Lecture Notes in Computer Science