3 ms·

I think this refers to a system of types in which for any two types there is also an union type and an intersection type in the lattice.