Articolo PDF (0,23 Mb)
Consultabile solo con Adobe Acrobat Reader (scopri come)
Crosilla, Laura

Constructive Notions of Set. Part I. Sets in Martin-Löf Type Theory

2005 - Firenze University Press

P. [1-42] [42]

Fa parte di

Annali del dipartimento di filosofia. N. 11 - 2005, 2005