Bert Lindenhovius

According to our database, Bert Lindenhovius authored at least 9 papers between 2018 and 2023.

Collaborative distances:

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

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