Typed operational semantics for higher order subtyping (1997)

by Adriana Compagnoni, Healfdene Goguen