Articolo
Anno: 2005
Constructive notions of set. Part I. Sets in Martin–Löf type theory
In: Annali del dipartimento di filosofia
, Vol. 11, pp. 347-387
