18 citations · 90 across the 18 of their papers we have counts for
Showing math-phShow all
3 papers · 1 filter
math-ph2024
Categories of quantum cpos
Andre Kornell, Bert Lindenhovius, Michael Mislove
This paper unites two research lines. The first involves finding categorical models of quantum programming languages and their type systems. The second line concerns the program of…
math-ph2022★ 7 cited
A characterisation of orthomodular spaces by Sasaki maps
Bert Lindenhovius, Thomas Vetterlein
Given a Hilbert space , the set of one-dimensional subspaces of becomes an orthoset when equipped with the orthogonality relation induced by the inner product…
math-ph2018
Symmetries in exact Bohrification
Klaas Landsman, Bert Lindenhovius
The `Bohrification" program in the foundations of quantum mechanics implements Bohr's doctrine of classical concepts through an interplay between commutative and non-commutative op…