Similar Items: Typability and Type Inference in Atomic Polymorphism
- Solvability = Typability + Inhabitation
- Normalisation Control in Deep Inference via Atomic Flows
- Encoding Monomorphic and Polymorphic Types
- On the relative proof complexity of deep inference via atomic flows
- Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
- On the Succinctness of Atoms of Dependency