Encoding the calculus of constructions in a higher-order logic (1993)

by Amy Felty
Venue:In Eighth Annual Symposium on Logic in Computer Science