Bert Lindenhovius

19 papers A* 4Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory.
LICS
Bert Lindenhovius, Vladimir Zamdzhiev
2025 J jnl
Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory.
CoRR
Bert Lindenhovius, Vladimir Zamdzhiev
2024 J jnl
Categories of quantum cpos.
CoRR
Andre Kornell, Bert Lindenhovius, Michael W. Mislove
2024 J jnl
The Category of Operator Spaces and Complete Contractions.
CoRR
Bert Lindenhovius, Vladimir Zamdzhiev
2023 — conf
Quantum Suplattices.
QPL
Gejza Jenca, Bert Lindenhovius
2022 J jnl
Semantics for variational Quantum programming.
Proc. ACM Program. Lang.
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021 A* conf
Commutative Monads for Probabilistic Programming Languages.
LICS
Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021 J jnl
Commutative Monads for Probabilistic Programming Languages.
CoRR
Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021 J jnl
LNL-FPC: The Linear/Non-linear Fixpoint Calculus.
Log. Methods Comput. Sci.
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021 J jnl
Semantics for Variational Quantum Programming.
CoRR
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2020 — conf
Quantum CPOs.
QPL
Andre Kornell, Bert Lindenhovius, Michael W. Mislove
2019 J jnl
Boolean Subalgebras of Orthoalgebras.
Order
John Harding, Chris Heunen, Bert Lindenhovius, Mirko Navara
2019 J jnl
Domains of commutative C*-subalgebras.
Math. Struct. Comput. Sci.
Chris Heunen, Bert Lindenhovius
2019 J jnl
Mixed Linear and Non-linear Recursive Types.
CoRR
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2019 J jnl
Mixed linear and non-linear recursive types.
Proc. ACM Program. Lang.
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2018 A* conf
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams.
LICS
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2018 J jnl
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams.
CoRR
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2015 A* conf
Domains of Commutative C-Subalgebras.
LICS
Chris Heunen, Bert Lindenhovius
2015 J jnl
Domains of commutative C*-subalgebras.
CoRR
Chris Heunen, Bert Lindenhovius