Soundness of coercion in the calculus of constructions (0)

by Gang Chen
Venue:Journal of Logic and Computation