Pages that link to "Item:Q5957918"
From MaRDI portal
The following pages link to Coercion completion and conservativity in coercive subtyping (Q5957918):
Displaying 5 items.
- Transitivity in coercive subtyping (Q1776403) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- Coercions in a polymorphic type system (Q3520150) (← links)
- Structural subtyping for inductive types with functorial equality rules (Q3535679) (← links)
- Manifest Fields and Module Mechanisms in Intensional Type Theory (Q3638256) (← links)
