an Extended Calculus of Constructions (1989)

by ECC
Venue:In Proceedings of LICS’89, IEEE