Pages that link to "Item:Q5492828"
From MaRDI portal
The following pages link to Algebra and Coalgebra in Computer Science (Q5492828):
Displaying 13 items.
- Towards a geometry of recursion (Q534710) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- All solutions of a system of recursion equations in infinite trees and other contraction theories (Q791310) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Corrigendum to: ``The category theoretic solution of recursive program schemes'' [Theoret. Comput. Sci. 366 (2006) 3-59] (Q944390) (← links)
- A Mezei-Wright theorem for categorical algebras (Q1044831) (← links)
- R-fuzzy computation (Q1072368) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)
- Categorial generalization of algebraic recursion theory (Q1898417) (← links)
- The bicategory-theoretic solution of recursive domain equations (Q2864151) (← links)
- A category theoretic view of nondeterministic recursive program schemes (Q2915707) (← links)
- Recursive program schemes and context-free monads (Q2919447) (← links)
- (Q3635984) (← links)