Coercive Subtyping for the Calculus of Constructions (extended abstract)

by Gang Chen
Citations:3 - 1 self