A Curry-Howard Correspondence for Linear, Reversible Computation Posted Jul 20, 2025 Updated Aug 11, 2025 By 1 min read journal This post is licensed under CC BY 4.0 by the author. Share