The following pages link to (Q5089290):
Displaying 5 items.
- Fixpoint theory -- upside down (Q2233395) (← links)
- Fixpoint Theory -- Upside Down (Q6135764) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- Operations on fixpoint equation systems (Q6597955) (← links)
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms (Q6647769) (← links)
