Pages that link to "Item:Q1776403"
From MaRDI portal
The following pages link to Transitivity in coercive subtyping (Q1776403):
Displaying 6 items.
- Coercive subtyping via mappings of reduction behaviour (Q2871871) (← links)
- Coherence and Transitivity in Coercive Subtyping (Q2996166) (← 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)
- Types for Proofs and Programs (Q5712311) (← links)