Semantics for a Turing-Complete Reversible Programming Language with Inductive Types Posted Jul 11, 2024 By 1 min read conferences This post is licensed under CC BY 4.0 by the author. Share