The following pages link to Free \(\mu\)-lattices (Q5960406):
Displaying 15 items.
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Ambiguous classes in \(\mu\)-calculi hierarchies (Q1770419) (← links)
- \(*\)-\(\mu\)-semirings and \(*\)-\(\lambda\)-semirings (Q2576887) (← links)
- From Parity Games to Circular Proofs (Q2842563) (← links)
- Induction, Coinduction, and Adjoints (Q2842818) (← links)
- Conway Games, Coalgebraically (Q2888495) (← links)
- Equivalences and Congruences on Infinite Conway Games (Q2889179) (← links)
- Least and Greatest Fixpoints in Game Semantics (Q3617718) (← links)
- On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication (Q3644749) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- (Q5094136) (← links)
- Bouncing threads for circular and non-wellfounded proofs. Towards compositionality with circular proofs (Q6649500) (← links)
