Principal type schemes for an extended type theory (1984)

by Ronchi della Rocca, S, B Venneri
Venue:Zbl 0535.03007 MR 86d:03017