Pages that link to "Item:Q1892884"

The following pages link to Recursive data types in algebraically \(\omega\)-complete categories (Q1892884):

Displaying 5 items.

• Join inverse categories and reversible recursion (Q511931) (← 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)