Search results
From MaRDI portal
- Theorem in Topos Quantum Theory 2012-06-04 Paper Review of the Topos Approach to Quantum Theory 2011-06-28 Paper...10 bytes (13 words) - 17:52, 24 September 2023
- two topos-theoretic approaches to quantum theory 2013-02-06 Paper THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH 2011-06-29...10 bytes (17 words) - 21:33, 24 September 2023
- C*-ALGEBRA: A TOPOS-THEORETIC APPROACH 2011-06-29 Paper Quantum logic in dagger kernel categories 2010-07-02 Paper A topos for algebraic quantum theory 2010-01-11...10 bytes (14 words) - 07:06, 7 October 2023
- 2018-10-31 Paper Fuzzy approach to quantum Fredkin gate 2018-09-28 Paper Semilattices global valuations in the topos approach to quantum mechanics 2018-02-27...10 bytes (13 words) - 12:36, 11 December 2023
- Paper A topos for algebraic quantum theory 2010-01-11 Paper https://portal.mardi4nfdi.de/entity/Q3643328 2009-11-11 Paper Intuitionistic quantum logic of...10 bytes (15 words) - 03:09, 9 December 2023
- Application in general theory of relativity 2011-06-06 Paper Boolean information sieves: a local-to-global approach to quantum information 2011-01-13 Paper...10 bytes (13 words) - 22:44, 24 September 2023
- Potentiality, and Contradiction in Quantum Mechanics 2019-10-31 Paper The logos categorical approach to quantum mechanics. II. Quantum superpositions and intensive...10 bytes (15 words) - 14:19, 11 December 2023
- Constructing a quantum field theory from spacetime 2011-07-18 Paper EXOTIC SMOOTH ℝ4 AND CERTAIN CONFIGURATIONS OF NS AND D BRANES IN STRING THEORY 2011-06-09...10 bytes (13 words) - 17:25, 6 October 2023
- Riesz space theory 2010-07-02 Paper Program Extraction from Large Proof Developments 2010-05-07 Paper A topos for algebraic quantum theory 2010-01-11 Paper...10 bytes (14 words) - 21:07, 24 September 2023
- review of: B. C. Hall, Quantum theory for mathematicians 2015-07-06 Paper Erratum to: Book review of: Brian C. Hall, Quantum theory for mathematicians 2015-07-06...10 bytes (13 words) - 22:19, 8 December 2023
- amplitudes and quantum homotopy algebras 2020-12-11 Paper Algebraic Structure of String Field Theory 2020-09-09 Paper Perturbative Quantum Field Theory and Homotopy...10 bytes (13 words) - 18:42, 8 December 2023
- 2011-06-17 Paper Quantum Field Theory on Curved Noncommutative Spacetimes 2011-01-18 Paper Algebraic approach to quantum field theory on a class of noncommutative...10 bytes (14 words) - 12:25, 6 October 2023
- Logical aspects of quantum structures 2021-08-22 Paper Raney algebras and duality for \(T_0\)-spaces 2021-05-11 Paper Topos quantum theory with short posets...10 bytes (13 words) - 12:08, 8 December 2023
- Publication Type Adding fuzziness to terms and powerobjects using a monadic approach 2012-05-18 Paper Categorical approaches to non-commutative fuzzy logic 2011-01-31...10 bytes (15 words) - 19:38, 11 December 2023
- mardi4nfdi.de/entity/Q5040172 2022-10-11 Paper Linear Dependent Type Theory for Quantum Programming Languages 2022-10-06 Paper On the Lambek embedding and...10 bytes (13 words) - 10:08, 7 October 2023
- trees 2001-10-28 Paper The petit topos of globular sets 2001-06-17 Paper Bireflectivity 2000-08-23 Paper Galois theory in symmetric monoidal categories...10 bytes (17 words) - 15:29, 9 December 2023
- models 2013-11-01 Paper Addendum to: A renormalizable 4-dimensional tensor field theory 2013-08-09 Paper 3D tensor field theory: renormalization and one-loop...10 bytes (15 words) - 10:14, 7 October 2023
- Paper Nonequilibrium quantum fields and the classical field theory limit 2002-08-07 Paper RG flows from super-Liouville theory to critical Ising model...10 bytes (12 words) - 15:16, 24 September 2023
- Intuitionist type theory and foundations 1981-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3927252 1981-01-01 Paper Intuitionist type theory and the free...10 bytes (14 words) - 22:20, 10 December 2023
- Physics to Number Theory via Noncommutative Geometry. Part I: Quantum Statistical Mechanics of Q-lattices 2004-04-06 Paper CYCLIC COHOMOLOGY, QUANTUM GROUP...10 bytes (15 words) - 13:42, 7 December 2023
