Positive subtyping (0)

by M Homan, B C Pierce
Venue:Information and Computation