Return to Article Details Type-theoretical semantics with coercive subtyping Download Download PDF