Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Staton, Sam
2008.
General Structural Operational Semantics through Categorical Logic.
p.
166.
EMMENEGGER, JACOPO
and
PALMGREN, ERIK
2020.
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS.
The Journal of Symbolic Logic,
Vol. 85,
Issue. 2,
p.
563.
Cioffo, Cipriano Junior
2025.
Biased elementary doctrines and quotient completions.
Journal of Pure and Applied Algebra,
Vol. 229,
Issue. 6,
p.
107983.
HELFER, JOSEPH
2025.
FIRST-ORDER HOMOTOPICAL LOGIC.
The Journal of Symbolic Logic,
Vol. 90,
Issue. 2,
p.
564.