Andre Kornell

Orcid: 0000-0002-8930-7126

According to our database¹, Andre Kornell authored at least 6 papers between 2018 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Categories of quantum cpos.

[BibT_eX]

[DOI]

Andre Kornell

Bert Lindenhovius

Michael W. Mislove

Math. Struct. Comput. Sci., 2026

2024

A Natural Deduction System for Orthomodular Logic.

[BibT_eX]

[DOI]

Andre Kornell

Rev. Symb. Log., 2024

2023

Some improvements to product formula circuits for Hamiltonian simulation.

[BibT_eX]

[DOI]

Andre Kornell

Peter Selinger

CoRR, 2023

2022

Semantics for variational Quantum programming.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

2020

Quantum CPOs.

[BibT_eX]

[DOI]

Andre Kornell

Bert Lindenhovius

Michael W. Mislove

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

2018

A complete system of deduction for Sigma formulas.

[BibT_eX]

[DOI]

Andre Kornell

CoRR, 2018

Andre Kornell

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...