Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects
Systèmes d'inférence de type pour le lambda-calcul et pour le lambda-calcul à objets
Sistemi di Assegnamento di tipi per il lambda calcolo e per il lambda calcolo degli oggetti