extended calculus of constructions (1989)

by ECC
Venue:In Proceedings of the Fourth Annual Symposium on Logic in computer science