Subject reduction and minimal types for higher order subtyping (1997)

by Adriana Compagnoni
Venue:In Proceedings of the Second Chinese Language Processing Workshop
Citations:6 - 3 self