research
∙
02/23/2023
A Curry-Howard Correspondence for Linear, Reversible Computation
In this paper, we present a linear and reversible programming language w...
share
research
∙
05/17/2020
