Deliverables: an approach to program development in the calculus of constructions (1990)

by R Burstall, J McKinna
Venue:In Proceedings of the First Annual Workshop on Logical Frameworks