"A Characterization of F-Complete Type Assignments."

Mariangiola Dezani-Ciancaglini, Ines Margaria (1986)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics