The following pages link to Generalised coinduction (Q4408808):
Displaying 18 items.
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- \(p\)-adic physics, non-well-founded reality and unconventional computing (Q1760203) (← links)
- Steps and traces (Q1798791) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- GSOS for probabilistic transition systems (Q2842551) (← links)
- (Q2980965) (← links)
- Concrete stream calculus: An extended study (Q3021409) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- Generalizing Substitution (Q4460688) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
- Unifying structured recursion schemes (Q5371980) (← links)
- Bisimulation proof methods in a path-based specification language for polynomial coalgebras (Q5740639) (← links)
- Unguarded recursion on coinductive resumptions (Q5971399) (← links)