Pages that link to "Item:Q5271091"
From MaRDI portal
The following pages link to A Categorical Treatment of Ornaments (Q5271091):
Displayed 5 items.
- Formalizing semantic bidirectionalization and extensions with dependent types (Q347391) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- (Q5014439) (← links)
- The essence of ornaments (Q5372005) (← links)
- Ornaments for Proof Reuse in Coq (Q5875438) (← links)