Showing 1 - 2 results of 2 for search 'Jennifer Paykin', query time: 0.02s Refine Results
  1. 1
    A Linear/Producer/Consumer Model of Classical Linear Logic

    A Linear/Producer/Consumer Model of Classical Linear Logic by Jennifer Paykin, Steve Zdancewic

    Published 2015-02-01
    Get full text
    Article
  2. 2
    ReQWIRE: Reasoning about Reversible Quantum Circuits

    ReQWIRE: Reasoning about Reversible Quantum Circuits by Robert Rand, Jennifer Paykin, Dong-Ho Lee, Steve Zdancewic

    Published 2019-01-01
    Get full text
    Article

Search Tools: