From reversible programming languages to reversible metalanguages
From MaRDI portal
Publication:2139051
DOI10.1016/J.TCS.2022.02.024OpenAlexW4213299234MaRDI QIDQ2139051FDOQ2139051
Robin Kaarsgaard, Tetsuo Yokoyama, Robert Glück
Publication date: 17 May 2022
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2022.02.024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A structural approach to reversible computation
- Towards a Reversible Functional Language
- Information effects
- A Survey of Graphical Languages for Monoidal Categories
- Reversible computing and cellular automata -- a survey
- Traced monoidal categories
- Reversible Machine Code and Its Abstract Processor Architecture
- Fundamentals of reversible flowchart languages
- Restriction categories II: Partial map classification
- Join inverse categories and reversible recursion
- Restriction categories III: colimits, partial limits and extensivity
- Inversion, Iteration, and the Art of Dual Wielding
- Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial
- Reversible nondeterministic finite automata
- A Certified Study of a Reversible Programming Language
- A Calculus for Local Reversibility
- Condition/decision duality and the internal logic of extensive restriction categories
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
- En garde! Unguarded iteration for reversible computation in the delay monad
- Constructing a binary tree from its traversals by reversible recursion and iteration
Cited In (3)
Uses Software
This page was built for publication: From reversible programming languages to reversible metalanguages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2139051)
