A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070): Difference between revisions

@@ Property / cites work @@
+Q2721101
@@ Property / cites work: Q2721101 / rank @@
+Normal rank
@@ Property / cites work @@
+The universal resolving algorithm and its correctness: Inverse computation in a functional language
+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 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 @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+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 @@
+A categorical foundation for structured reversible flowchart languages
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing reversible object-oriented language features on reversible machines
+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 @@
+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 @@
+Q3864044
@@ Property / cites work: Q3864044 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction, totality and PCF
@@ Property / cites work: Full abstraction, totality and PCF / 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 @@
+Q4040912
@@ Property / cites work: Q4040912 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible arithmetic logic unit for quantum arithmetic
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+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
@@ Property / cites work @@
+Fundamentals of reversible flowchart languages
@@ Property / cites work: Fundamentals of reversible flowchart languages / rank @@
+Normal rank