Search Results - Mathys Rennela

  • Showing 1 - 4 results of 4
Refine Results
  1. 1

    Convexity and Order in Probabilistic Call-by-Name FPC by Mathys Rennela

    Published in Logical Methods in Computer Science (2020-11-01)
    Get full text
    Article


  2. 2

    Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory by Mathys Rennela, Sam Staton

    Published in Logical Methods in Computer Science (2020-03-01)
    Get full text
    Article


  3. 3

    Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras by Mathys Rennela, Sam Staton, Robert Furber

    Get full text
    Article


  4. 4

    Hybrid divide-and-conquer approach for tree search algorithms by Mathys Rennela, Sebastiaan Brand, Alfons Laarman, Vedran Dunjko

    Published in Quantum (2023-03-01)
    Get full text
    Article


Search Tools: