Subtyping calculus of construction, extended abstract (1997)

by Che97 G Chen
Venue:In 22nd International Symposium on Mathematical Foundation of Computer Science