Proof normalization and least types for polymorphic type systems with subtyping relative to F (1994)

by S Vorobyov
Venue:In Proc. CADE-12 Workshop "Proof Search in Type-Theoretic Languages