Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Yi, Byeong-Uk
2021.
Categorical Propositions and Existential Import: A Post-modern Perspective.
History and Philosophy of Logic,
Vol. 42,
Issue. 4,
p.
307.
Bahr, Patrick
Graulund, Christian Uldal
and
Møgelberg, Rasmus Ejlers
2021.
Diamonds are not forever: liveness in reactive programming with guarded recursion.
Proceedings of the ACM on Programming Languages,
Vol. 5,
Issue. POPL,
p.
1.