Subtyping in F ! is decidable (1994)

by Adriana B Compagnoni