A characterisation of F-complete type assignments (1986)

by M Dezani-Ciancaglini, I Margaria
Venue:Theoretical Computer Science