Formalismes

• Systèmes de type purs
• Types quotients
• Vers des preuves orientées-objet ?
• Une nouvelle formulation de la théorie des types
• Une alternative au sous-typage
• Modèles du -calcul
• Polymorphisme paramétrique