Crosilla, Laura Constructive Notions of Set. Part I. Sets in Martin-Löf Type Theory 2005 - Firenze University Press Fait partie de Annali del dipartimento di filosofia. N. 11 - 2005, 2005 Télécharger Visualiser PDF a Article
