Eta-Expansions in Dependent Type Theory - The Calculus of Constructions (1997)

by Neil Ghani
Venue:Proceedings of the Third International Conference on Typed Lambda Calculus and Applications (TLCA'97