Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Uemura, Taichi
2023.
A general framework for the semantics of type theory.
Mathematical Structures in Computer Science,
Vol. 33,
Issue. 3,
p.
134.