fi-j-?-subject reduction and stucklessness for perfectly-structured second-order type systems with subtyping (1994)

by S Vorobyov
Venue:In preparation