[J1] A.J. Lindenhovius, Classifying finite-dimensional C*-algebras by posets
of their commutative C*-subalgebras, International Journal of Theoret-
ical Physics, Volume 54, Issue 12, 4615-4635 (2015) DOI 10.1007/s10773-
015-2817-6
[J2] J. Harding, C. Heunen, B. Lindenhovius, M. Navara, Boolean Subalge-
bras of Orthoalgebras, Order, Volume 36, Issue 3, pp 563–609, (2019)
DOI 10.1007/s11083-019-09483-6
[J3] C. Heunen, B. Lindenhovius, Domains of commutative C*-subalgebras,
Mathematical Structures in Computer Science, 29(7):972–1006, (2019).
DOI 10.1017/S0960129518000464
[J4] B. Lindenhovius, M. Mislove, V. Zamdzhiev, LNL-FPC: The Linear/Non-
linear Fixpoint Calculus, Logical Methods in Computer Science, Vol.
17, Issue 2, Pages 9:1 – 9:61 (2021) DOI 10.23638/LMCS-17(2:9)2021
[J5] A. Kornell, B. Lindenhovius, M. Mislove, A category of quantum posets,
Indagationes Mathematicae, to appear (2022) DOI 10.1016/j.indag.2022.07.001
[J6] J. Harding, B. Lindenhovius, Orthogeometries and AW*-algebras, Hous-
ton Journal of Mathematics, to appear (2022).
Moreover, the following paper is under review.
[J7] X. Jia, B. Lindenhovius, M. Mislove and V. Zamdzhiev, Commutative
Monads for Probabilistic Programming Languages, submitted. arxiv:
2102.00510
Finally, the following contributions only exist as preprints:
[J8] B. Lindenhovius, Grothendieck topologies on a poset, arXiv:1405.4408
(2014)
[J9] B. Lindenhovius, Th. Vetterlein, A characterisation of orthomodular
spaces by Sasaki maps, arXiv:2207.09148 (2022).

[B1] K. Landsman, B. Lindenhovius, Symmetries in Exact Bohrification,
in: Ozawa M., Butterfield J., Halvorson H., Rédei M., Kitajima Y.,
Buscemi F. (eds) Reality and Measurement in Algebraic Quantum The-
ory. NWW 2015. Springer Proceedings in Mathematics & Statistics,
vol 261. Springer, (2018) 97-118 ISBN 978-981-13-2486-4
[B2] B. Lindenhovius, V. Zamdzhiev, M. Mislove, Semantics for a Lambda
Calculus for String Diagrams, in: Outstanding Contributions to Logic
(Volume for Samson Abramsky), to appear.

[P1] C. Heunen, B. Lindenhovius, Domains of commutative C*-subalgebras,
Proceedings of the 30th annual ACM/IEEE symposium on Logic in
Computer Science 450-461 (2015) DOI 10.1109/LICS.2015.49
[P2] B. Lindenhovius, M. Mislove, V. Zamdzhiev, Enriching a Linear/Non-
linear Lambda Calculus: A Programming Language for String Dia-
grams, Proceeding LICS ’18 Proceedings of the 33rd Annual ACM/IEEE
Symposium on Logic in Computer Science Pages 659-668 (2018) DOI
10.1145/3209108.3209196
[P3] B. Lindenhovius, M. Mislove, V. Zamdzhiev, Mixed linear and non-
linear recursive types, Proceedings of the ACM on Programming Lan-
guages archive Volume 3 Issue ICFP, Article No. 111 (2019) DOI
10.1145/3341715
[P4] A. Kornell, B. Lindenhovius, M. Mislove, Quantum CPOs, Proceedings
of the 17th International Conference on Quantum Physics and Logic
174–187 (2020) DOI 10.4204/EPTCS.340.9
[P5] X. Jia, B. Lindenhovius, M. Mislove and V. Zamdzhiev, Commuta-
tive Monads for Probabilistic Programming Languages, 36th Annual
ACM/IEEE Symposium on Logic in Computer Science (LICS), pp.
1-14 (2021) DOI 10.1109/LICS52264.2021.9470611
[P6] X. Jia, A. Kornell, B. Lindenhovius, M. Mislove, V. Zamdzhiev, Seman-
tics for variational Quantum programming, Proceedings of the ACM on
Programming Languages, Volume 6, Issue POPL, Article No. 26 (2022)
1–31 DOI 10.1145/3498687