Type containment and Nominalisation (1993)

by F Kamareddine, E Klein, Polymorphism
Venue:Logic, Language and Information