Bert Lindenhovius

According to our database, Bert Lindenhovius authored at least 12 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory.

Bert Lindenhovius, Vladimir Zamdzhiev

CoRR, May, 2025

2024

The Category of Operator Spaces and Complete Contractions.

Bert Lindenhovius, Vladimir Zamdzhiev

CoRR, 2024

Categories of quantum cpos.

Andre Kornell, Bert Lindenhovius, Michael W. Mislove

CoRR, 2024

2023

Quantum Suplattices.

Gejza Jenca, Bert Lindenhovius

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

2022

Semantics for variational Quantum programming.

Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev

Proc. ACM Program. Lang., 2022

2021

LNL-FPC: The Linear/Non-linear Fixpoint Calculus.

Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev

Log. Methods Comput. Sci., 2021

Commutative Monads for Probabilistic Programming Languages.

Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Quantum CPOs.

Andre Kornell, Bert Lindenhovius, Michael W. Mislove

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

2019

Mixed linear and non-linear recursive types.

Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev

Proc. ACM Program. Lang., 2019

Boolean Subalgebras of Orthoalgebras.

John Harding, Chris Heunen, Bert Lindenhovius, Mirko Navara

Order, 2019

Domains of commutative C*-subalgebras.

Chris Heunen, Bert Lindenhovius

Math. Struct. Comput. Sci., 2019

2018

Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams.

Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018