Pages that link to "Item:Q4408807"

The following pages link to Free iterative theories: a coalgebraic view (Q4408807):

Displaying 5 items.

• Rational operational models (Q265819) (← links)
• The coinductive resumption monad (Q283770) (← links)
• Explicit substitutions and higher-order syntax (Q853744) (← links)
• The category-theoretic solution of recursive program schemes (Q860876) (← links)
• Coproducts of Ideal Monads (Q4659887) (← links)