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

Cached

Download Links

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

Document Versions

Eta-Expansions in Dependent Type Theory - The Calculus of Constructions –Neil Ghani — 1997 — Proceedings of the Third International Conference on Typed Lambda Calculus and Applications (TLCA'97