From reversible programming languages to reversible metalanguages (Q2139051): Difference between revisions

@@ Property / describes a project that uses @@
+SyReC
@@ Property / describes a project that uses: SyReC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LRinv
@@ Property / describes a project that uses: LRinv / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2022.02.024
+Normal rank
@@ Property / OpenAlex ID @@
+W4213299234
@@ Property / OpenAlex ID: W4213299234 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of reversible flowchart languages
@@ Property / cites work: Fundamentals of reversible flowchart languages / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing a binary tree from its traversals by reversible recursion and iteration
+Normal rank
@@ Property / cites work @@
+A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
+Normal rank
@@ Property / cites work @@
+Join inverse categories and reversible recursion
@@ Property / cites work: Join inverse categories and reversible recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Inversion, Iteration, and the Art of Dual Wielding
+Normal rank
@@ Property / cites work @@
+A Certified Study of a Reversible Programming Language
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories III: colimits, partial limits and extensivity
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Reversible Machine Code and Its Abstract Processor Architecture
+Normal rank
@@ Property / cites work @@
+Condition/decision duality and the internal logic of extensive restriction categories
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Reversible Functional Language
@@ Property / cites work: Towards a Reversible Functional Language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978981
@@ Property / cites work: Q3978981 / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories II: Partial map classification
+Normal rank
@@ Property / cites work @@
+A Calculus for Local Reversibility
@@ Property / cites work: A Calculus for Local Reversibility / rank @@
+Normal rank
@@ Property / cites work @@
+Information effects
@@ Property / cites work: Information effects / rank @@
+Normal rank
@@ Property / cites work @@
+En garde! Unguarded iteration for reversible computation in the delay monad
+Normal rank
@@ Property / cites work @@
+Reversible computing and cellular automata -- a survey
+Normal rank
@@ Property / cites work @@
+A structural approach to reversible computation
@@ Property / cites work: A structural approach to reversible computation / rank @@
+Normal rank
@@ Property / cites work @@
+Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial
+Normal rank
@@ Property / cites work @@
+Q3384916
@@ Property / cites work: Q3384916 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible nondeterministic finite automata
@@ Property / cites work: Reversible nondeterministic finite automata / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2139051