Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Ciraulo, Francesco
and
Sambin, Giovanni
2008.
Finitary formal topologies and Stone’s representation theorem.
Theoretical Computer Science,
Vol. 405,
Issue. 1-2,
p.
11.
Schuster, Peter
2008.
The Zariski spectrum as a formal geometry.
Theoretical Computer Science,
Vol. 405,
Issue. 1-2,
p.
101.
Coquand, Thierry
Lombardi, Henri
and
Schuster, Peter
2009.
Spectral schemes as ringed lattices.
Annals of Mathematics and Artificial Intelligence,
Vol. 56,
Issue. 3-4,
p.
339.
Rinaldi, Davide
2013.
A constructive notion of codimension.
Journal of Algebra,
Vol. 383,
Issue. ,
p.
178.
Palmgren, Erik
2014.
Formal continuity implies uniform continuity near compact images on metric spaces.
Mathematical Logic Quarterly,
Vol. 60,
Issue. 1-2,
p.
66.
Rinaldi, Davide
and
Schuster, Peter
2016.
A universal Krull–Lindenbaum theorem.
Journal of Pure and Applied Algebra,
Vol. 220,
Issue. 9,
p.
3207.
Rinaldi, Davide
Sambin, Giovanni
and
Schuster, Peter
2016.
The Basic Zariski Topology.
Confluentes Mathematici,
Vol. 7,
Issue. 1,
p.
55.
Negri, Sara
2021.
The intensional side of algebraic-topological representation theorems.
Synthese,
Vol. 198,
Issue. S5,
p.
1121.
STERLING, JONATHAN
2021.
Higher order functions and Brouwer’s thesis.
Journal of Functional Programming,
Vol. 31,
Issue. ,