Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Maietti, Maria Emilia
2007.
Computation and Logic in the Real World.
Vol. 4497,
Issue. ,
p.
517.
Gambino, Nicola
and
Garner, Richard
2008.
The identity type weak factorisation system.
Theoretical Computer Science,
Vol. 409,
Issue. 1,
p.
94.
Staton, Sam
2008.
General Structural Operational Semantics through Categorical Logic.
p.
166.
Maietti, Maria Emilia
2009.
A minimalist two-level foundation for constructive mathematics.
Annals of Pure and Applied Logic,
Vol. 160,
Issue. 3,
p.
319.
WILANDER, OLOV
2010.
Setoids and universes.
Mathematical Structures in Computer Science,
Vol. 20,
Issue. 4,
p.
563.
Bell, John L.
2011.
Foundational Theories of Classical and Constructive Mathematics.
Vol. 76,
Issue. ,
p.
157.
Sambin, Giovanni
2011.
Logic, Mathematics, Philosophy, Vintage Enthusiasms.
Vol. 75,
Issue. ,
p.
69.
Palmgren, Erik
2012.
Epistemology versus Ontology.
p.
265.
Maietti, Maria Emilia
and
Vickers, Steven
2012.
An induction principle for consequence in arithmetic universes.
Journal of Pure and Applied Algebra,
Vol. 216,
Issue. 8-9,
p.
2049.
Bell, John L.
2012.
Sets and Extensions in the Twentieth Century.
Vol. 6,
Issue. ,
p.
633.
Palmgren, Erik
2012.
Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets.
Annals of Pure and Applied Logic,
Vol. 163,
Issue. 10,
p.
1384.
Maietti, Maria Emilia
and
Rosolini, Giuseppe
2013.
Quotient Completion for the Foundation of Constructive Mathematics.
Logica Universalis,
Vol. 7,
Issue. 3,
p.
371.
RIJKE, EGBERT
and
SPITTERS, BAS
2015.
Sets in homotopy type theory.
Mathematical Structures in Computer Science,
Vol. 25,
Issue. 5,
p.
1172.
Maietti, Maria Emilia
2017.
Theory and Applications of Models of Computation.
Vol. 10185,
Issue. ,
p.
12.
TSEMENTZIS, DIMITRIS
2017.
A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE.
The Journal of Symbolic Logic,
Vol. 82,
Issue. 4,
p.
1181.
Ishihara, Hajime
Maietti, Maria Emilia
Maschio, Samuele
and
Streicher, Thomas
2018.
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice.
Archive for Mathematical Logic,
Vol. 57,
Issue. 7-8,
p.
873.
Schultz, Patrick
and
Spivak, David I.
2019.
Temporal Type Theory.
Vol. 29,
Issue. ,
p.
47.
RATHJEN, MICHAEL
and
SWAN, ANDREW W.
2020.
LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION.
The Journal of Symbolic Logic,
Vol. 85,
Issue. 4,
p.
1342.
Swan, Andrew W.
and
Uemura, Taichi
2021.
On Church’s thesis in cubical assemblies.
Mathematical Structures in Computer Science,
Vol. 31,
Issue. 10,
p.
1185.
Hyland, Martin
and
Tasson, Christine
2021.
The linear-non-linear substitution 2-monad.
Electronic Proceedings in Theoretical Computer Science,
Vol. 333,
Issue. ,
p.
215.