Similar Items: The Algebraic Intersection Type Unification Problem
- Exact Unification and Admissibility
- Unification and Logarithmic Space
- Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
- Intersection Types for the lambda-mu Calculus
- Inhabitation for Non-idempotent Intersection Types
- Unification in the Description Logic EL