Ines Margaria Maddalena Zacchi Principal Typing in a forall-and-Discipline. 367-381 1995 5 J. Log. Comput. 3 db/journals/logcom/logcom5.html#MargariaZ95