Soundness of coercion in the calculus of constructions (0)

by G Chen
Venue:Journal of Logic and Computation