Bert Lindenhovius
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Monoidal quantaloids Theory and Applications of Categories | 2026-06-08 | Paper |
| Categories of quantum cpos Mathematical Structures in Computer Science | 2026-05-21 | Paper |
| Quantum graphs of homomorphisms (available as arXiv preprint) | 2026-01-01 | Paper |
| From orthoposets to orthomodular posets (available as arXiv preprint) | 2026-01-01 | Paper |
| Monoidal Quantaloids (available as arXiv preprint) | 2025-01-01 | Paper |
| Quantum CPOs | 2024-11-28 | Paper |
| Semantics for a lambda calculus for string diagrams | 2024-10-01 | Paper |
| Quantum Suplattices Electronic Proceedings in Theoretical Computer Science | 2024-03-22 | Paper |
| Categories of quantum cpos (available as arXiv preprint) | 2024-01-01 | Paper |
| The Category of Operator Spaces and Complete Contractions (available as arXiv preprint) | 2024-01-01 | Paper |
| A characterisation of orthomodular spaces by Sasaki maps International Journal of Theoretical Physics | 2023-06-27 | Paper |
| A category of quantum posets Indagationes Mathematicae. New Series | 2022-10-21 | Paper |
| Semantics for Variational Quantum Programming | 2021-07-28 | Paper |
| LNL-FPC: the linear/non-linear fixpoint calculus (available as arXiv preprint) | 2021-05-25 | Paper |
| LNL-FPC: the linear/non-linear fixpoint calculus | 2021-05-25 | Paper |
| Commutative Monads for Probabilistic Programming Languages | 2021-01-31 | Paper |
| A category of quantum posets (available as arXiv preprint) | 2021-01-26 | Paper |
| Enriching a linear/non-linear lambda calculus: a programming language for string diagrams Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| Semantics for Variational Quantum Programming (available as arXiv preprint) | 2021-01-01 | Paper |
| Boolean subalgebras of orthoalgebras Order | 2019-12-13 | Paper |
| Boolean subalgebras of orthoalgebras Order | 2019-12-13 | Paper |
| Domains of commutative C*-subalgebras Mathematical Structures in Computer Science | 2019-11-15 | Paper |
| LNL-FPC: The Linear/Non-linear Fixpoint Calculus (available as arXiv preprint) | 2019-06-22 | Paper |
| Symmetries in exact bohrification (available as arXiv preprint) | 2019-05-28 | Paper |
| Domains of commutative C-subalgebras 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Grothendieck topologies on a poset | 2014-05-17 | Paper |
| Grothendieck topologies on a poset (available as arXiv preprint) | 2014-01-01 | Paper |
Research outcomes over time
This page was built for person: Bert Lindenhovius
