The following pages link to Generalised coinduction (Q4408808):
Displayed 6 items.
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- \(p\)-adic physics, non-well-founded reality and unconventional computing (Q1760203) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Concrete stream calculus: An extended study (Q3021409) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- Generalizing Substitution (Q4460688) (← links)