Join Inverse Categories as Models of Reversible Recursion (Q2811333): Difference between revisions

@@ Property / cites work @@
+Geometry of Interaction and linear combinatory algebras
+Normal rank
@@ Property / cites work @@
+Recursive data types in algebraically \(\omega\)-complete categories
+Normal rank
@@ Property / cites work @@
+What Do Reversible Programs Compute?
@@ Property / cites work: What Do Reversible Programs Compute? / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraically compact functors
@@ Property / cites work: Algebraically compact functors / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+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 @@
+Restriction categories as enriched categories
@@ Property / cites work: Restriction categories as enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+Conservative logic
@@ Property / cites work: Conservative logic / rank @@
+Normal rank
@@ Property / cites work @@
+Unique decomposition categories, Geometry of Interaction and combinatory logic
+Normal rank
@@ Property / cites work @@
+Q3024908
@@ Property / cites work: Q3024908 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Functor ℓ2
@@ Property / cites work: On the Functor ℓ2 / rank @@
+Normal rank
@@ Property / cites work @@
+A Representation Theorem for Unique Decomposition Categories
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Limited Automata
@@ Property / cites work: Reversible Limited Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Q4537454
@@ Property / cites work: Q4537454 / rank @@
+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 @@
+Two-Way Reversible Multi-Head Finite Automata
@@ Property / cites work: Two-Way Reversible Multi-Head Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse Code Generation for Parallel Discrete Event Simulation
+Normal rank
@@ Property / cites work @@
+Towards a Domain-Specific Language for Reversible Assembly Sequences
+Normal rank
@@ Property / cites work @@
+Idempotents in Dagger Categories
@@ Property / cites work: Idempotents in Dagger Categories / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Finite dimensional Hilbert spaces are complete for dagger compact closed categories
+Normal rank
@@ Property / cites work @@
+Towards a Reversible Functional Language
@@ Property / cites work: Towards a Reversible Functional Language / rank @@
+Normal rank