Article PDF (0.23 Mb)
Compatible only with Adobe Acrobat Reader (read more)
Crosilla, Laura

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

2005 - Firenze University Press

P. [1-42] [42]

Is part of

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