The following pages link to On the Foundations of Corecursion (Q3126405):
Displayed 5 items.
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← links)
- Coalgebraic logic (Q1295427) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Proof Relevant Corecursive Resolution (Q2798268) (← links)
- Game characterizations and lower cones in the Weihrauch degrees (Q5228881) (← links)