Computing with Semirings and Weak Rig Groupoids
暂无分享,去创建一个
[1] Thorsten Altenkirch,et al. From Reversible to Irreversible Computations , 2008, Electron. Notes Theor. Comput. Sci..
[2] Charles H. Bennett,et al. Logical reversibility of computation , 1973 .
[3] Aleks Kissinger. Abstract Tensor Systems as Monoidal Categories , 2014, Categories and Types in Logic, Language, and Physics.
[4] T. Toffoli,et al. Conservative logic , 2002, Collision-Based Computing.
[5] Aleks Kissinger,et al. Open-graphs and monoidal theories† , 2010, Mathematical Structures in Computer Science.
[6] Roshan P. James. Theseus : A High Level Language for Reversible Computing , 2014 .
[7] Mikael Rittri,et al. Using types as search keys in function libraries , 1989, Journal of Functional Programming.
[8] Aleks Kissinger,et al. Tensors, !-graphs, and non-commutative quantum structures. , 2014 .
[9] Marcelo P. Fiore. Isomorphisms of generic recursive polynomial types , 2004, POPL '04.
[10] R. Feynman. Simulating physics with computers , 1999 .
[11] Amr Sabry,et al. Superstructural Reversible Logic , 2013 .
[12] Tommaso Toffoli,et al. Reversible Computing , 1980, ICALP.
[13] Tom Leinster,et al. An objective representation of the Gaussian integers , 2004, J. Symb. Comput..
[14] R. Landauer,et al. Irreversibility and heat generation in the computing process , 1961, IBM J. Res. Dev..
[15] Amr Sabry,et al. Isomorphic Interpreters from Logically Reversible Abstract Machines , 2012, RC.
[16] Seven trees in one , 1994, math/9405205.
[17] M. Nivat. Fiftieth volume of theoretical computer science , 1988 .
[18] Michael P. Frank,et al. Reversibility for efficient computing , 1999 .
[19] Andrej Bauer,et al. Homotopy Type Theory: Univalent Foundations of Mathematics , 2013, ArXiv.
[20] Erik DeBenedictis,et al. Reversible logic for supercomputing , 2005, CF '05.
[21] Roberto Di Cosmo,et al. Remarks on isomorphisms in typed lambda calculi with empty and sum types , 2006, Ann. Pure Appl. Log..
[22] John C. Baez,et al. Physics, Topology, Logic and Computation: A Rosetta Stone , 2009, 0903.0340.
[23] Md. Saiful Islam. A Novel Quantum Cost Efficient Reversible Full Adder Gate in Nanotechnology , 2010, ArXiv.
[24] Tibor Beke. Categorification, term rewriting and the Knuth–Bendix procedure , 2011 .
[25] Dominic R. Verity,et al. ∞-Categories for the Working Mathematician , 2018 .
[26] Pérès,et al. Reversible logic and quantum computers. , 1985, Physical review. A, General physics.
[27] Patrick Lincoln,et al. Linear logic , 1992, SIGA.
[28] Amr Sabry,et al. Information effects , 2012, POPL '12.
[29] S. Maclane,et al. Categories for the Working Mathematician , 1971 .
[30] M. Laplaza,et al. Coherence for distributivity , 1972 .
[31] Masahito Hasegawa,et al. Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi , 1997, TLCA.