Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Bezem, Marc
Buchholtz, Ulrik
and
Coquand, Thierry
2018.
Syntactic forcing models for coherent logic.
Indagationes Mathematicae,
Vol. 29,
Issue. 6,
p.
1441.