Decidable higher order subtyping. Lfcs report (1997)

by A Compagnoni