Papers in peer-reviewed journals
B. Lindenhovius, Th. Vetterlein, A characterisation of orthomodular spaces by Sasaki
maps, International Journal of Theoretical Physics, 62:59 (2023) [doi]A. Kornell, B. Lindenhovius, M. Mislove, A category of quantum posets, Indagationes
Mathematicae, Volume 33, Issue 6, 1137–1171 (2022) [doi]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]J. Harding, C. Heunen, B. Lindenhovius, M. Navara, Boolean Subalgebras of Orthoal-
gebras, Order, Volume 36, Issue 3, pp 563–609, (2019) [doi]C. Heunen, B. Lindenhovius, Domains of commutative C*-subalgebras, Mathematical
Structures in Computer Science, 29(7):972–1006, (2019) [doi|arxiv]A.J. Lindenhovius, Classifying finite-dimensional C*-algebras by posets of their com-
mutative C*-subalgebras, International Journal of Theoretical Physics: Volume 54,
Issue 12, 4615-4635 (2015) [doi]
Papers in conference proceedings
G. Jenča, B. Lindenhovius, Quantum Suplattices, Proceedings of the 20th International
Conference on Quantum Physics and Logic 58–74 (2023) [doi]X. Jia, A. Kornell, B. Lindenhovius, M. Mislove, V. Zamdzhiev, Semantics for variational
Quantum programming, Proceedings of the ACM on Programming Languages, Volume
6, Issue POPL, Article No. 26, pp 1–31 (2022) [doi|link]X. Jia, B. Lindenhovius, M. Mislove and V. Zamdzhiev, Commutative Monads for
Probabilistic Programming Languages, 36th Annual ACM/IEEE Symposium on Logic
in Computer Science (LICS), pp. 1-14 (2021) [doi]A. Kornell, B. Lindenhovius, M. Mislove, Quantum CPOs, Proceedings of the 17th
International Conference on Quantum Physics and Logic 174–187 (2020) [doi|link]B. Lindenhovius, M. Mislove, V. Zamdzhiev, Mixed linear and non-linear recursive types, Proceedings of the ACM on Programming Languages archive Volume 3 Issue ICFP, Article No. 111 (2019) [doi]
B. Lindenhovius, M. Mislove, V. Zamdzhiev, Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams, Proceeding LICS ’18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science Pages 659-668 (2018) [doi|arxiv|link]
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]
Book chapters
B. Lindenhovius, M. Mislove, V. Zamdzhiev, Semantics for a Lambda Calculus for
String Diagrams. In: A. Palmigiano, M. Sadrzadeh, Samson Abramsky on Logic
and Structure in Computer Science and Beyond, 973–1004, Springer (2023) [doi|hal]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 Theory. NWW 2015. Springer Proceedings in
Mathematics & Statistics, vol 261. Springer, (2018) [doi|arxiv]