Showing 1 - 5 results of 5 for search 'S. Zdancewic', query time: 0.07s Refine Results
  1. 1
    Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces
    by B. Valiron, S. Zdancewic
    Published 2014-12-01
    Get full text
    Article
  2. 2
    A Linear/Producer/Consumer Model of Classical Linear Logic
    by Jennifer Paykin, Steve Zdancewic
    Published 2015-02-01
    Get full text
    Article
  3. 3
    QWIRE Practice: Formal Verification of Quantum Circuits in Coq
    by Robert Rand, Jennifer Paykin, Steve Zdancewic
    Published 2018-02-01
    Get full text
    Article
  4. 4
    ReQWIRE: Reasoning about Reversible Quantum Circuits
    Get full text
    Article
  5. 5
    Position paper: the science of deep specification
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search