Bert Lindenhovius

Orcid: 0000-0001-5380-4705

According to our database1, Bert Lindenhovius authored at least 10 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Categories of quantum cpos.
CoRR, 2024

2023
Quantum Suplattices.
Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

2022
Semantics for variational Quantum programming.
Proc. ACM Program. Lang., 2022

2021
LNL-FPC: The Linear/Non-linear Fixpoint Calculus.
Log. Methods Comput. Sci., 2021

Commutative Monads for Probabilistic Programming Languages.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
Quantum CPOs.
Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

2019
Mixed linear and non-linear recursive types.
Proc. ACM Program. Lang., 2019

Boolean Subalgebras of Orthoalgebras.
Order, 2019

Domains of commutative C*-subalgebras.
Math. Struct. Comput. Sci., 2019

2018
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, 2018


  Loading...