Coercive Subtyping for the Calculus of Constructions (extended abstract)

by Gang Chen
Citations:2 - 1 self