A Complete Characterization of Complete Intersection-Type Preorders (2007)
M. Dezani-Ciancaglini, Intersection-type Preorders, F. Honsell, F. Alessi
this paper we solve completely the characterization problem as far as the three canonical set-theoretical semantics for intersection-types: the inference semantics, the simple semantics [Scott 1975]...
A Complete Characterization of Complete Intersection-Type Preorders (2007)
Intersection-type Preorders, M. Dezani-ciancaglini, F. Honsell, F. Alessi, ...
this paper we solve completely the characterization problem as far as the three canonical set-theoretical semantics for intersection-types: the inference semantics, the simple semantics [Scott 1975]...