Algorithm development in the Calculus of Constructions (1986)

by Christine Mohring
Venue:In Proceedings of the First Annual Symposium on Logic in Computer Science