Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. - Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (LICS, 2018)

Domains of commutative C*-subalgebras. - Chris Heunen; Bert Lindenhovius (Math. Struct. Comput. Sci., 2019)

Boolean Subalgebras of Orthoalgebras. - John Harding; Chris Heunen; Bert Lindenhovius; Mirko Navara (Order, 2019)

Mixed linear and non-linear recursive types. - Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (Proc. ACM Program. Lang., 2019)

Quantum CPOs. - Andre Kornell; Bert Lindenhovius; Michael W. Mislove (QPL, 2020)

Commutative Monads for Probabilistic Programming Languages. - Xiaodong Jia 002; Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (LICS, 2021)

LNL-FPC: The Linear/Non-linear Fixpoint Calculus. - Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (Log. Methods Comput. Sci., 2021)

Semantics for variational Quantum programming. - Xiaodong Jia 002; Andre Kornell; Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (Proc. ACM Program. Lang., 2022)

Quantum Suplattices. - Gejza Jenca; Bert Lindenhovius (QPL, 2023)

Categories of quantum cpos. - Andre Kornell; Bert Lindenhovius; Michael W. Mislove (CoRR, 2024)

The Category of Operator Spaces and Complete Contractions. - Bert Lindenhovius; Vladimir Zamdzhiev (CoRR, 2024)

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory. - Bert Lindenhovius; Vladimir Zamdzhiev (CoRR, 2025)