Toward a Curry-Howard Equivalence for Linear, Reversible Computation (Work In Progress) Posted Jul 9, 2020 By 1 min read conferences This post is licensed under CC BY 4.0 by the author. Share