Login / Signup

The א-Calculus: A declarative model of reversible programming.

Hannah Earley
Published in: CoRR (2022)
Keyphrases