Search results
From MaRDI portal
- tension in wale direction: buckling analysis 2010-11-25 Paper Quantum programming languages: a tentative study 2008-11-10 Paper Analysis of phase transformation...10 bytes (17 words) - 12:20, 12 December 2023
- Publication Date of Publication Type Quantum programming languages: a tentative study 2008-11-10 Paper https://portal.mardi4nfdi.de/entity/Q5293569 2007-07-02...10 bytes (16 words) - 21:13, 12 December 2023
- Theory for Quantum Programming Languages 2022-10-06 Paper Categories for Dynamic Epistemic Logic 2021-12-14 Paper A tutorial introduction to quantum circuit...10 bytes (16 words) - 11:08, 7 October 2023
- analysis framework for quantum programming languages 2019-11-12 Paper Formalization of metatheory of the Quipper quantum programming language in a linear logic...10 bytes (18 words) - 11:04, 6 October 2023
- for Quantum Programming Languages 2022-10-06 Paper On the combinatorial value of Hex positions 2022-08-08 Paper A Categorical Model for a Quantum Circuit...10 bytes (17 words) - 21:13, 24 September 2023
- object-oriented programming 2015-06-11 Paper Quantum Process Calculus for Linear Optical Quantum Computing 2013-12-17 Paper Equivalence Checking of Quantum Protocols...10 bytes (18 words) - 19:51, 12 December 2023
- versatile tool in the theory of quantum information 2015-06-05 Paper Models of quantum computation and quantum programming languages 2014-07-22 Paper Generating...10 bytes (19 words) - 00:53, 11 December 2023
- fertilization 2023-03-17 Paper Linear Dependent Type Theory for Quantum Programming Languages 2022-10-06 Paper Global well-posedness and analyticity for the...10 bytes (16 words) - 10:04, 7 October 2023
- metavariables 2020-01-21 Paper Formal meta-level analysis framework for quantum programming languages 2019-11-12 Paper Formalizing abstract computability: Turing categories...10 bytes (18 words) - 12:30, 9 December 2023
- Towards implementation of a generalized architecture for high-level quantum programming language 2018-02-22 Paper Perturbation theory for the approximation of...10 bytes (16 words) - 21:10, 11 December 2023
- General Quantum Programs over Mixed States 2009-12-09 Paper The Arrow Calculus as a Quantum Programming Language 2009-07-02 Paper Structuring quantum effects:...10 bytes (18 words) - 05:52, 12 December 2023
- Algebraic Effects, Linearity, and Quantum Programming Languages 2016-09-29 Paper Two Cotensors in One: Presentations of Algebraic Theories for Local State...10 bytes (16 words) - 08:07, 7 October 2023
- computation methods using quantum computing 2023-03-24 Paper Semantics of quantum programming languages: Classical control, quantum control 2022-08-26 Paper...10 bytes (16 words) - 11:12, 7 October 2023
- Towards implementation of a generalized architecture for high-level quantum programming language 2018-02-22 Paper...10 bytes (20 words) - 18:37, 24 September 2023
- Towards implementation of a generalized architecture for high-level quantum programming language 2018-02-22 Paper https://portal.mardi4nfdi.de/entity/Q5286800...10 bytes (18 words) - 18:37, 24 September 2023
- Towards implementation of a generalized architecture for high-level quantum programming language 2018-02-22 Paper...10 bytes (18 words) - 18:37, 24 September 2023
- Date of Publication Type FJQuantum. A quantum object oriented language 2017-05-19 Paper Interpretations on quantum fuzzy computing: intuitionistic fuzzy...10 bytes (20 words) - 10:13, 7 October 2023
- inversion via string diagrams 2019-11-15 Paper Semantics for a quantum programming language by operator algebras 2018-09-05 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 08:07, 7 October 2023
- 2015-01-06 Paper Discrete quantum theories 2014-04-11 Paper Quantum Arrows in Haskell 2014-01-17 Paper An Algebra of Pure Quantum Programming 2013-12-06 Paper Geometry...10 bytes (16 words) - 12:54, 28 January 2024
- 2004 2007-10-01 Paper Algebraic results on quantum automata 2006-10-25 Paper Automata, Languages and Programming 2006-01-10 Paper A common algebraic description...10 bytes (16 words) - 02:05, 12 December 2023
