The following pages link to (Q4246948):
Displaying 7 items.
- Integrating coercion with subtyping and multiple dispatch (Q988562) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Transitivity in coercive subtyping (Q1776403) (← links)
- Coherence and Transitivity in Coercive Subtyping (Q2996166) (← links)
- Subset Coercions in Coq (Q3612448) (← links)
- An implementation of LF with coercive subtyping and universes (Q5951521) (← links)
- Coercion completion and conservativity in coercive subtyping (Q5957918) (← links)