Jerzy Tiuryn Subtyping over a Lattice (Abstract). 84-88 1997 conf/kgc/1997 Kurt Gödel Colloquium db/conf/kgc/kgc97.html#Tiuryn97