Join inverse categories and reversible recursion (Q511931): Difference between revisions

@@ Property / Wikidata QID @@
+Q62038210
@@ Property / Wikidata QID: Q62038210 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Theseus
@@ Property / describes a project that uses: Theseus / 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.jlamp.2016.08.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2513689028
@@ Property / OpenAlex ID: W2513689028 / rank @@
+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 @@
+Join Inverse Categories as Models of Reversible Recursion
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Conservative logic
@@ Property / cites work: Conservative logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+What Do Reversible Programs Compute?
@@ Property / cites work: What Do Reversible Programs Compute? / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Limited Automata
@@ Property / cites work: Reversible Limited Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Way Reversible Multi-Head Finite Automata
@@ Property / cites work: Two-Way Reversible Multi-Head Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse Code Generation for Parallel Discrete Event Simulation
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+Towards a Domain-Specific Language for Reversible Assembly Sequences
+Normal rank
@@ Property / cites work @@
+Fundamentals of reversible flowchart languages
@@ Property / cites work: Fundamentals of reversible flowchart languages / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+A Representation Theorem for Unique Decomposition Categories
+Normal rank
@@ Property / cites work @@
+Towards a Reversible Functional Language
@@ Property / cites work: Towards a Reversible Functional Language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414734
@@ Property / cites work: Q4414734 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Information effects
@@ Property / cites work: Information effects / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories II: Partial map classification
+Normal rank
@@ Property / cites work @@
+Restriction categories III: colimits, partial limits and extensivity
+Normal rank
@@ Property / cites work @@
+Q4537454
@@ Property / cites work: Q4537454 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3864044
@@ Property / cites work: Q3864044 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Functor ℓ2
@@ Property / cites work: On the Functor ℓ2 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive data types in algebraically \(\omega\)-complete categories
+Normal rank
@@ Property / cites work @@
+Algebraically compact functors
@@ Property / cites work: Algebraically compact functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655528
@@ Property / cites work: Q5655528 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with Semirings and Weak Rig Groupoids
@@ Property / cites work: Computing with Semirings and Weak Rig Groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Retracing some paths in process algebra
@@ Property / cites work: Retracing some paths in process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024908
@@ Property / cites work: Q3024908 / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Geometry of Interaction and linear combinatory algebras
+Normal rank
@@ Property / cites work @@
+The inverse semigroup of a sum-ordered semiring
@@ Property / cites work: The inverse semigroup of a sum-ordered semiring / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories as enriched categories
@@ Property / cites work: Restriction categories as enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+Finite dimensional Hilbert spaces are complete for dagger compact closed categories
+Normal rank
@@ Property / cites work @@
+Idempotents in Dagger Categories
@@ Property / cites work: Idempotents in Dagger Categories / rank @@
+Normal rank