Bert Lindenhovius

MaRDI QIDQ2088112zbMATH OpenFDO

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 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
scientific article; zbMATH DE number 7350775 (Why is no real title available?) (available as arXiv preprint)	2021-05-25	Paper
scientific article; zbMATH DE number 7350775 (Why is no real title available?)	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