Search Results - Chardonnet, Kostia

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Categorical Semantics of Reversible Pattern-Matching

    Categorical Semantics of Reversible Pattern-Matching by Chardonnet, Kostia, Lemonnier, Louis, Valiron, Benoît

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    A Curry-Howard Correspondence for Linear, Reversible Computation

    A Curry-Howard Correspondence for Linear, Reversible Computation by Chardonnet, Kostia, Saurin, Alexis, Valiron, Benoît

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Semantics for a Turing-complete Reversible Programming Language with Inductive Types

    Semantics for a Turing-complete Reversible Programming Language with Inductive Types by Chardonnet, Kostia, Lemonnier, Louis, Valiron, Benoît

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Geometry of Interaction for ZX-Diagrams

    Geometry of Interaction for ZX-Diagrams by Chardonnet, Kostia, Valiron, Benoît, Vilmart, Renaud

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Categorical Semantics of Reversible Pattern-Matching

    Categorical Semantics of Reversible Pattern-Matching by Chardonnet, Kostia, Lemonnier, Louis, Valiron, Benoît

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    The Many-Worlds Calculus

    The Many-Worlds Calculus by Chardonnet, Kostia, de Visme, Marc, Valiron, Benoît, Vilmart, Renaud

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: