## 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 |

Citations: | 13 - 0 self |