Soundness of Coercion in the Calculus of Constructions

Cached

Download Links

by Gang Chen
Citations:2 - 0 self