A categorical foundation for structured reversible flowchart languages (Q2130590): Difference between revisions

@@ Property / cites work @@
+What Do Reversible Programs Compute?
@@ Property / cites work: What Do Reversible Programs Compute? / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Machine Code and Its Abstract Processor Architecture
+Normal rank
@@ Property / cites work @@
+Join Inverse Categories as Models of Reversible Recursion
+Normal rank
@@ Property / cites work @@
+Introduction to extensive and distributive categories
+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 @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / 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 @@
+Q3864044
@@ Property / cites work: Q3864044 / rank @@
+Normal rank
@@ Property / cites work @@
+Dagger Compact Closed Categories and Completely Positive Maps
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Reversible arithmetic logic unit for quantum arithmetic
+Normal rank
@@ Property / cites work @@
+Reversible Flowchart Languages and the Structured Reversible Program Theorem
+Normal rank
@@ Property / cites work @@
+Q5389329
@@ Property / cites work: Q5389329 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Reversible Functional Language
@@ Property / cites work: Towards a Reversible Functional Language / rank @@
+Normal rank