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 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 |
| 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 |
| 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 |
Research outcomes over time
This page was built for person: Bert Lindenhovius
