Enriching a linear/non-linear lambda calculus: A programming language for string diagrams B Lindenhovius, M Mislove, V Zamdzhiev Proceedings of the 33rd annual acm/ieee symposium on logic in computer …, 2018 | 29 | 2018 |
Commutative monads for probabilistic programming languages X Jia, B Lindenhovius, M Mislove, V Zamdzhiev 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021 | 21 | 2021 |
Mixed linear and non-linear recursive types B Lindenhovius, M Mislove, V Zamdzhiev Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019 | 19 | 2019 |
Domains of commutative C*-subalgebras C Heunen, B Lindenhovius Mathematical Structures in Computer Science 29 (7), 972-1006, 2019 | 12 | 2019 |
Grothendieck topologies on a poset B Lindenhovius arXiv preprint arXiv:1405.4408, 2014 | 11 | 2014 |
Boolean subalgebras of orthoalgebras J Harding, C Heunen, B Lindenhovius, M Navara Order 36, 563-609, 2019 | 10 | 2019 |
Quantum CPOs A Kornell, B Lindenhovius, M Mislove arXiv preprint arXiv:2109.02196, 2021 | 9 | 2021 |
LNL-FPC: The Linear/Non-linear Fixpoint Calculus B Lindenhovius, M Mislove, V Zamdzhiev Logical Methods in Computer Science 17, 2021 | 9 | 2021 |
Semantics for variational quantum programming X Jia, A Kornell, B Lindenhovius, M Mislove, V Zamdzhiev Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022 | 8 | 2022 |
A category of quantum posets A Kornell, B Lindenhovius, M Mislove Indagationes Mathematicae 33 (6), 1137-1171, 2022 | 4 | 2022 |
Semantics for a Lambda Calculus for String Diagrams B Lindenhovius, M Mislove, V Zamdzhiev Samson Abramsky on Logic and Structure in Computer Science and Beyond, 973-1003, 2023 | 2 | 2023 |
A characterisation of orthomodular spaces by Sasaki maps B Lindenhovius, T Vetterlein International Journal of Theoretical Physics 62 (3), 59, 2023 | 2 | 2023 |
Symmetries in exact Bohrification K Landsman, B Lindenhovius Nagoya Winter Workshop: Reality and Measurement in Algebraic Quantum Theory …, 2015 | 2 | 2015 |
Quantum Suplattices G Jenča, B Lindenhovius arXiv preprint arXiv:2308.16495, 2023 | | 2023 |
Orthogeometries and AW*-algebras J Harding, B Lindenhovius arXiv preprint arXiv:1908.11401, 2019 | | 2019 |
BOOLEAN SUBALGEBRAS OF ORTHOMODULAR STRUCTURES J HARDING, C HEUNEN, B LINDENHOVIUS, M NAVARA This volume contains the papers presented at BLAST 2018, held on August 6-10 …, 2018 | | 2018 |
Enriching a Linear/Non-linear Lambda Calculus B Lindenhovius, M Mislove, V Zamdzhiev | | 2018 |
Quantum posets and quantum powersets A Kornell, B Lindenhovius, M Mislove 2021 Spring Western Virtual Sectional Meeting, 0 | | |
Quantizing partially ordered structures A Kornell, B Lindenhovius, M Mislove bstracts, 41, 0 | | |
Dcpos of Commutative C*-subalgebras C Heunen, B Lindenhovius | | |