Go to JKU Homepage
Institute for Mathematical Methods in Medicine and Data Based Modeling
What's that?

Institutes, schools, other departments, and programs create their own web content and menus.

To help you better navigate the site, see here where you are at the moment.

FoDok Entries for Bert Lindenhovius.

Berts manually curated list of publications

[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