Certifying expressive power and algorithms of reversible primitive permutations with Lean - Maletto, Giacomo; Roversi, Luca (Journal of logical and algebraic methods in programming, 2024)
Keywords: Lean; Primitive recursion; Reversible computation; Lean; Primitive recursion; Reversible computation