Similar Items: Positionality in $Σ_0^2$ and a completeness result
- A revised completeness result for the simply typed $lambdamu$-calculus using realizability semantics
- The Agda standard library: version 2.0
- PySensors 2.0: A Python Package for Sparse Sensor Placement
- Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
- On the meaning of logical completeness
- Abstract Completion, Formalized