Pages that link to "Item:Q2996166"
From MaRDI portal
The following pages link to Coherence and Transitivity in Coercive Subtyping (Q2996166):
Displaying 9 items.
- Integrating coercion with subtyping and multiple dispatch (Q988562) (← links)
- Transitivity in coercive subtyping (Q1776403) (← links)
- Coercive subtyping via mappings of reduction behaviour (Q2871871) (← links)
- Subset Coercions in Coq (Q3612448) (← links)
- (Q4027624) (← links)
- Coercive subtyping (Q4238487) (← links)
- Coherence and transitivity of subtyping as entailment (Q4507489) (← links)
- Soundness of Coercion in the Calculus of Constructions (Q4820474) (← links)
- Types for Proofs and Programs (Q5712311) (← links)