Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
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.
Yi, Byeong-Uk
2021.
Categorical Propositions and Existential Import: A Post-modern Perspective.
History and Philosophy of Logic,
Vol. 42,
Issue. 4,
p.
307.