Similar Items: Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
- Normalisation Control in Deep Inference via Atomic Flows
- On the relative proof complexity of deep inference via atomic flows
- Typability and Type Inference in Atomic Polymorphism
- A Recursive Approach to Solving Parity Games in Quasipolynomial Time
- Strong normalisation for applied lambda calculi
- Non-idempotent intersection types and strong normalisation