Bert Lindenhovius
From MaRDI portal
Person:2088112
Available identifiers
zbMath Open lindenhovius.bertMaRDI QIDQ2088112
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 |
|---|---|---|
| Quantum CPOs | 2024-11-28 | Paper |
| Semantics for a lambda calculus for string diagrams | 2024-10-01 | Paper |
| Quantum Suplattices | 2024-03-22 | Paper |
| A characterisation of orthomodular spaces by Sasaki maps | 2023-06-27 | Paper |
| A category of quantum posets | 2022-10-21 | Paper |
| Semantics for Variational Quantum Programming | 2021-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4989404 | 2021-05-25 | Paper |
| Commutative Monads for Probabilistic Programming Languages | 2021-01-31 | Paper |
| A category of quantum posets | 2021-01-26 | Paper |
| Enriching a linear/non-linear lambda calculus: a programming language for string diagrams | 2021-01-20 | Paper |
| Boolean subalgebras of orthoalgebras | 2019-12-13 | Paper |
| Domains of commutative C*-subalgebras | 2019-11-15 | Paper |
| LNL-FPC: The Linear/Non-linear Fixpoint Calculus | 2019-06-22 | Paper |
| Symmetries in exact bohrification | 2019-05-28 | Paper |
| Domains of commutative C-subalgebras | 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
