Pages that link to "Item:Q2581367"
From MaRDI portal
The following pages link to A structural approach to reversible computation (Q2581367):
Displaying 32 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Transactions on Computational Science XXIV. Special issue on reversible computing. (Q492153) (← links)
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Reversible simulation of space-bounded computations (Q673645) (← links)
- A class of reversible primitive recursive functions (Q737109) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- Reversible parallel computation: An evolving space-model (Q909469) (← links)
- Undoing the effects of action sequences (Q946576) (← links)
- Reversible computation in term rewriting (Q1683707) (← links)
- Quantum walks: a comprehensive review (Q1757875) (← links)
- On one application of computations with oracle (Q1758675) (← links)
- A unification of probabilistic choice within a design-based model of reversible computation (Q1941891) (← links)
- The \(\aleph \)-calculus. A declarative model of reversible programming (Q2097425) (← links)
- From reversible programs to univalent universes and back (Q2130579) (← links)
- Reversible effects as inverse arrows (Q2134817) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- Reversing algebraic process calculi (Q2643334) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- On reversible combinatory logic (Q2851703) (← links)
- From reversible to irreversible computations (Q2870206) (← links)
- Reversibility in space-bounded computation (Q2930716) (← links)
- Information effects (Q2942859) (← links)
- Quantitative Analysis of Concurrent Reversible Computations (Q2945596) (← links)
- Generating Reversible Circuits from Higher-Order Functional Programs (Q3186607) (← links)
- Isomorphic Interpreters from Logically Reversible Abstract Machines (Q3453735) (← links)
- Periodicity and Immortality in Reversible Computing (Q3599146) (← links)
- The monoidal structure of Turing machines (Q4917187) (← links)
- lambda!-calculus, Intersection Types, and Involutions (Q5089015) (← links)
- Abelian Invertible Automata (Q5112163) (← links)
- Operational Semantics of Reversibility in Process Algebra (Q5262973) (← links)
- A Design-Based Model of Reversible Computation (Q5307475) (← links)
- Compact inverse categories (Q6612798) (← links)
