Subtyping parametric and dependent types (1996)

by Gang Chen, Giuseppe Longo
Venue:Type Theory and Term Rewriting