Pages that link to "Item:Q2871871"
From MaRDI portal
The following pages link to Coercive subtyping via mappings of reduction behaviour (Q2871871):
Displaying 5 items.
- Integrating coercion with subtyping and multiple dispatch (Q988562) (← 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)