| A complete characterization of the complete intersection-type theories (2000) | |||||||||||||||||
Abstract | |||||||||||||||||
| We characterize those intersection-type theories which yield complete intersection-type assignment systems for l-calculi, with respect to the three canonical set-theoretical semantics for intersection-types: the inference semantics, the simple semantics and the F-semantics. | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||