research
∙
09/21/2023
Semantics for a Turing-complete Reversible Programming Language with Inductive Types
This paper is concerned with the expressivity and denotational semantics...
share
research
∙
02/23/2023
A Curry-Howard Correspondence for Linear, Reversible Computation
In this paper, we present a linear and reversible programming language w...
research
∙
06/22/2022
Geometry of Interaction for ZX-Diagrams
ZX-Calculus is a versatile graphical language for quantum computation eq...
research
∙
06/21/2022
The Many-Worlds Calculus
We propose a new typed graphical language for quantum computation, based...
research
∙
09/13/2021