Type Preorders", LNCS 787 (1994)

by F Alessi