Similar Items: Normalisation Control in Deep Inference via Atomic Flows
- Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
- On the relative proof complexity of deep inference via atomic flows
- Typability and Type Inference in Atomic Polymorphism
- Strong normalisation for applied lambda calculi
- Non-idempotent intersection types and strong normalisation
- Hyper Normalisation and Conditioning for Discrete Probability Distributions