Soundness of Coercion in the Calculus of Constructions

Cached

Download Links

by Gang Chen
Citations:3 - 0 self