A sequent calculus for subtyping polymorphic types (2001)

by Jerzy Tiuryn
Venue:Inf. comput