The following pages link to (Q4876241):
Displaying 8 items.
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- Introduction to computability logic (Q1408853) (← links)
- Softness of MALL proof-structures and a correctness criterion with Mix (Q1882627) (← links)
- Pathlike co/bialgebras and their antipodes with applications to bi- and Hopf algebras appearing in topology, number theory and physics (Q2162652) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- (Q5089024) (← links)
