Reversible monadic computing (Q5971401): Difference between revisions

@@ Property / arXiv ID @@
+.04330
@@ Property / arXiv ID: 1505.04330 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317727
@@ Property / Wikidata QID: Q113317727 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3560840
@@ Property / cites work: Q3560840 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical and quantum structuralism
@@ Property / cites work: Classical and quantum structuralism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5448360
@@ Property / cites work: Q5448360 / rank @@
+Normal rank
@@ Property / cites work @@
+A new description of orthogonal bases
@@ Property / cites work: A new description of orthogonal bases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143491
@@ Property / cites work: Q4143491 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863887
@@ Property / cites work: Q2863887 / rank @@
+Normal rank
@@ Property / cites work @@
+An embedding theorem for Hilbert categories
@@ Property / cites work: An embedding theorem for Hilbert categories / rank @@
+Normal rank
@@ Property / cites work @@
+Relative Frobenius algebras are groupoids
@@ Property / cites work: Relative Frobenius algebras are groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+Involutive categories and monoids, with a GNS-correspondence
+Normal rank
@@ Property / cites work @@
+On block structures in quantum computation
@@ Property / cites work: On block structures in quantum computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of weakening and contraction
@@ Property / cites work: Semantics of weakening and contraction / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Walks, in Quantum and Turing Computation
+Normal rank
@@ Property / cites work @@
+Categorical semantics for arrows
@@ Property / cites work: Categorical semantics for arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Handlers in action
@@ Property / cites work: Handlers in action / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for compact closed categories
@@ Property / cites work: Coherence for compact closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of quantum information theory
@@ Property / cites work: Fundamentals of quantum information theory / rank @@
+Normal rank
@@ Property / cites work @@
+Strong functors and monoidal monads
@@ Property / cites work: Strong functors and monoidal monads / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3368182
@@ Property / cites work: Q3368182 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjunctions in monoidal categories
@@ Property / cites work: Adjunctions in monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+A Duality Theorem for Real C * Algebras
@@ Property / cites work: A Duality Theorem for Real C * Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum and Classical Structures in Nondeterminstic Computation
+Normal rank
@@ Property / cites work @@
+Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories
+Normal rank
@@ Property / cites work @@
+Handling Algebraic Effects
@@ Property / cites work: Handling Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+CPO's of measures for nondeterminism
@@ Property / cites work: CPO's of measures for nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+Normal rank
@@ Property / cites work @@
+Frobenius monads and pseudomonoids
@@ Property / cites work: Frobenius monads and pseudomonoids / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of proofs
@@ Property / cites work: Algebra of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3886867
@@ Property / cites work: Q3886867 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Categorical formulation of finite-dimensional quantum algebras
+Normal rank
@@ Property / cites work @@
+Comprehending monads
@@ Property / cites work: Comprehending monads / rank @@
+Normal rank
@@ Property / cites work @@
+Monads and monoids on symmetric monoidal closed categories
+Normal rank