A Curry-Howard Correspondence for Linear, Reversible Computation Posted Feb 1, 2023 By 1 min read conferences This post is licensed under CC BY 4.0 by the author. Share