A Categorical Foundation for Structured Reversible Flowchart Languages

Robert Glück, Robin Kaarsgaard. A Categorical Foundation for Structured Reversible Flowchart Languages. Electronic Notes in Theoretical Computer Science, 336:155-171, 2018. [doi]

Abstract

Abstract is missing.