Bert Lindenhovius

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 14

Top Topics

Programming Language

Top Venues

Proc. ACM Program. Lang.

Math. Struct. Comput. Sci.

Publications

Andre Kornell, Bert Lindenhovius, Michael W. Mislove
Categories of quantum cpos. CoRR (2024)
Gejza Jenca, Bert Lindenhovius
Quantum Suplattices. CoRR (2023)
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Semantics for variational Quantum programming. Proc. ACM Program. Lang. 6 (POPL) (2022)
Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Commutative Monads for Probabilistic Programming Languages. CoRR (2021)
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Semantics for Variational Quantum Programming. CoRR (2021)
Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Commutative Monads for Probabilistic Programming Languages. LICS (2021)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
LNL-FPC: The Linear/Non-linear Fixpoint Calculus. Log. Methods Comput. Sci. 17 (2) (2021)
Andre Kornell, Bert Lindenhovius, Michael W. Mislove
Quantum CPOs. QPL (2020)
John Harding, Chris Heunen, Bert Lindenhovius, Mirko Navara
Boolean Subalgebras of Orthoalgebras. Order 36 (3) (2019)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Mixed Linear and Non-linear Recursive Types. CoRR (2019)
Chris Heunen, Bert Lindenhovius
Domains of commutative C*-subalgebras. Math. Struct. Comput. Sci. 29 (7) (2019)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Mixed linear and non-linear recursive types. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. CoRR (2018)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. LICS (2018)
Chris Heunen, Bert Lindenhovius
Domains of Commutative C-Subalgebras. LICS (2015)
Chris Heunen, Bert Lindenhovius
Domains of commutative C*-subalgebras. CoRR (2015)