Participant : Gilles Dowek
G. Dowek a commencé une comparaison entre la théorie des types et la théorie des ensembles. Dans un premier temps, il a montré que ces deux théories peuvent être présentées de manière équivalente avec une notation explicite pour les objets ou un schéma de compréhension [8]. Dans un second temps, il a donné une formulation de la théorie des types de Church dans laquelle les types sont des ensembles ordinaires. Cette présentation suggère une extension de la théorie des types avec sous-typage dans laquelle chaque ensemble est un type [7].