Search Results - Sam Staton

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

    Relating coalgebraic notions of bisimulation by Sam Staton

    Published in Logical Methods in Computer Science (2011-03-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

    Universal Properties in Quantum Theory by Mathieu Huot, Sam Staton

    Get full text
    Article


  4. 4

    Linear usage of state by Rasmus Ejlers Møgelberg, Sam Staton

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


  5. 5

    Higher Order Automatic Differentiation of Higher Order Functions by Mathieu Huot, Sam Staton, Matthijs Vákár

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


  6. 6

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

    Get full text
    Article


Search Tools: