Pages that link to "Item:Q1892884"
From MaRDI portal
The following pages link to Recursive data types in algebraically \(\omega\)-complete categories (Q1892884):
Displaying 8 items.
- Join inverse categories and reversible recursion (Q511931) (← links)
- A note on ``Extensional PERs'' (Q615886) (← links)
- Algebraically compact functors (Q1208195) (← links)
- Which data types have \(\omega\)-complete initial algebra specifications? (Q1318728) (← links)
- Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
- (Q5140265) (← links)
- Inversion, Iteration, and the Art of Dual Wielding (Q5237212) (← links)
- Categorical approximation fixpoint theory (Q6545560) (← links)