Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Hyland, Martin
Nagayama, Misao
Power, John
and
Rosolini, Giuseppe
2006.
A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus.
Electronic Notes in Theoretical Computer Science,
Vol. 161,
Issue. ,
p.
43.
Jacobs, Bart
2010.
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories.
Logical Methods in Computer Science,
Vol. Volume 6, Issue 2,
Issue. ,
Došen, Kosta
and
Petrić, Zoran
2013.
Syntax for split preorders.
Annals of Pure and Applied Logic,
Vol. 164,
Issue. 4,
p.
443.
Bagnol, Marc
Blute, Richard
Cockett, J.R.B.
and
Lemay, J.S.
2016.
The Shuffle Quasimonad and Modules with Differentiation and Integration.
Electronic Notes in Theoretical Computer Science,
Vol. 325,
Issue. ,
p.
29.
Pagnan, Ruggero
2018.
Splitting idempotents in a fibered setting.
Archive for Mathematical Logic,
Vol. 57,
Issue. 7-8,
p.
917.
Jacobs, Bart
2019.
Lower and Upper Conditioning in Quantum Bayesian Theory.
Electronic Proceedings in Theoretical Computer Science,
Vol. 287,
Issue. ,
p.
225.
Oliveira Vale, Arthur
Shao, Zhong
and
Chen, Yixuan
2023.
A Compositional Theory of Linearizability.
Proceedings of the ACM on Programming Languages,
Vol. 7,
Issue. POPL,
p.
1089.
Pavlovic, Dusko
2023.
Programs as Diagrams.
p.
103.
Pavlovic, Dusko
2023.
Programs as Diagrams.
p.
165.
Oliveira Vale, Arthur
Shao, Zhong
and
Chen, Yixuan
2024.
A Compositional Theory of Linearizability.
Journal of the ACM,
Vol. 71,
Issue. 2,
p.
1.