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