On the Universal and Existential Fragments of the µ-Calculus
No abstract available.
Related papers
- A bisimulation for type abstraction and recursion POPL 2005
- Abstract Domains for Universal and Existential Properties ESOP 2000
- An extension of HM(X) with bounded existential and universal data-types ICFP 2003
- Verifying Hyperliveness CAV 2019
- On Expansion and Resolution in CEGAR Based QBF Solving CAV 2017
- What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures OOPSLA 2025
- Abstract Types Have Existential Type POPL 1985
- An existential crisis resolved: type inference for first-class existential types ICFP 2021