7 citations · 10 across the 6 of their papers we have counts for
Showing math-phShow all
2 papers · 1 filter
math-ph2025
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-ph2025★ 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…