Polarized subtyping for sized types (2008)

by A Abel
Venue:Mathematical Structures in Computer Science