Join Inverse Categories as Models of Reversible Recursion
暂无分享,去创建一个
[1] Peter Selinger,et al. Idempotents in Dagger Categories: (Extended Abstract) , 2008, QPL.
[2] Markus Schordan,et al. Reverse Code Generation for Parallel Discrete Event Simulation , 2015, RC.
[3] Robert Glück,et al. Towards a Reversible Functional Language , 2011, RC.
[4] J. Robin B. Cockett,et al. Restriction categories as enriched categories , 2012, Theor. Comput. Sci..
[5] Martin Kutrib,et al. Reversible Limited Automata , 2017, Fundam. Informaticae.
[6] Brett Gordon Giles. An investigation of some theoretical aspects of reversible computing , 2014 .
[7] Naohiko Hoshino,et al. A Representation Theorem for Unique Decomposition Categories , 2012, MFPS.
[8] Bob Coecke,et al. New Structures for Physics , 2011 .
[9] Kasper Stoy,et al. Robust and reversible execution of self-reconfiguration sequences , 2011, Robotica.
[10] Kenichi Morita,et al. Two-Way Reversible Multi-Head Finite Automata , 2011, Fundam. Informaticae.
[11] Samson Abramsky,et al. Geometry of Interaction and linear combinatory algebras , 2002, Mathematical Structures in Computer Science.
[12] Chris Heunen,et al. On the Functor ℓ2 , 2010, Computation, Logic, Games, and Quantum Foundations.
[13] Edmund Robinson,et al. Categories of Partial Maps , 1988, Inf. Comput..
[14] Esfandiar Haghverdi,et al. A categorical approach to linear logic, geometry of proofs and full completeness. , 2000 .
[15] Jirí Adámek. Recursive Data Types in Algebraically omega-Complete Categories , 1995, Inf. Comput..
[16] Charles H. Bennett,et al. Logical reversibility of computation , 1973 .
[17] X. Guo. Join restriction categories and the importance of being adhesive , 2007 .
[18] D. B. Benson,et al. The inverse semigroup of a sum-ordered semiring , 1985 .
[19] Samson Abramsky,et al. Retracing some paths in Process Algebra , 1996, CONCUR.
[20] M. Lawson. Inverse Semigroups, the Theory of Partial Symmetries , 1998 .
[21] T. Toffoli,et al. Conservative logic , 2002, Collision-Based Computing.
[22] R. Landauer,et al. Irreversibility and heat generation in the computing process , 1961, IBM J. Res. Dev..
[23] Daniele Varacca,et al. A Compositional Semantics for the Reversible p-Calculus , 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
[24] Ross Street,et al. Traced monoidal categories , 1996 .
[25] J. Robin B. Cockett,et al. Restriction categories II: partial map classification , 2003, Theor. Comput. Sci..
[26] Robert Glück,et al. A reversible programming language and its invertible self-interpreter , 2007, PEPM '07.
[27] Masahito Hasegawa,et al. Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi , 1997, TLCA.
[28] J. Robin B. Cockett,et al. Restriction categories I: categories of partial maps , 2002, Theor. Comput. Sci..
[29] Robert Glück,et al. What Do Reversible Programs Compute? , 2011, FoSSaCS.
[30] J. Cockett,et al. Restriction categories III: colimits, partial limits, and extensivity , 2006, math/0610500.
[31] Roshan P. James. Theseus : A High Level Language for Reversible Computing , 2014 .
[32] Michael Barr,et al. Algebraically compact functors , 1992 .
[33] Marcelo P. Fiore. Axiomatic domain theory in categories of partial maps , 1994 .
[34] P. Selinger. A Survey of Graphical Languages for Monoidal Categories , 2009, 0908.3347.
[35] Peter Selinger,et al. Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract) , 2011, QPL/DCM@ICALP.
[36] Masahito Hasegawa,et al. Models of Sharing Graphs , 1999, Distinguished Dissertations.
[37] Ulrik Pagh Schultz,et al. Towards a Domain-Specific Language for Reversible Assembly Sequences , 2015, RC.