Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Coquand, T.
and
Spiwack, A.
2006.
A Proof of Strong Normalisation using Domain Theory.
p.
307.
WILANDER, OLOV
2010.
Setoids and universes.
Mathematical Structures in Computer Science,
Vol. 20,
Issue. 4,
p.
563.
WILANDER, OLOV
2012.
Constructing a small category of setoids.
Mathematical Structures in Computer Science,
Vol. 22,
Issue. 1,
p.
103.
Setzer, Anton
2015.
Gentzen's Centenary.
p.
45.
Coquand, Thierry
2024.
The French School of Programming.
p.
175.