Bert Lindenhovius

According to our database, Bert Lindenhovius authored at least 12 papers between 2015 and 2026.

Collaborative distances:

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

2026

Categories of quantum cpos.

Andre Kornell, Bert Lindenhovius, Michael W. Mislove

Math. Struct. Comput. Sci., 2026

2025

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

Bert Lindenhovius, Vladimir Zamdzhiev

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

The Category of Operator Spaces and Complete Contractions.

Bert Lindenhovius, Vladimir Zamdzhiev

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

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

2015

Domains of Commutative C-Subalgebras.

Chris Heunen, Bert Lindenhovius

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015