Publication venue
Publication date 01/01/1978
Field of study No full text
Publication venue
Publication date 01/01/2000
Field of study No full text
Publication venue
Publication date 01/01/1999
Field of study No full text
Publication venue
Publication date 01/01/2018
Field of study No full text
Publication venue
Publication date 01/01/2017
Field of study No full text
Publication venue
Publication date 01/01/2011
Field of study No full text
Publication venue
Publication date 01/01/2014
Field of study No full text Si presenta una descrizione della teoria delle categorie con alcuni sviluppi in ambito logico-matematico
Publication venue
Publication date 01/01/1980
Field of study No full text
Publication venue
Publication date 01/01/1985
Field of study No full text
Publication venue
Publication date 01/01/2016
Field of study No full text We show that the two models of an extensional version of Martin-Löf type theory, those given by the category of equilogical spaces and by the effective topos, are homotopical quotients of appropriate categories of 2-groupoids
No full text
No full text
