A characterisation of F-complete type assignments (1986)

by M DEZANI-CIANCAGLINI, I MARGARIA
Venue:Theoretical Computer Science