Showing 1 - 4 results of 4 for search 'Paolo Torrini', query time: 0.02s Refine Results
  1. 1
    Reasoning about modular datatypes with Mendler induction

    Reasoning about modular datatypes with Mendler induction by Paolo Torrini, Tom Schrijvers

    Published 2015-09-01
    Get full text
    Article
  2. 2
    Resource-Bound Quantification for Graph Transformation

    Resource-Bound Quantification for Graph Transformation by Paolo Torrini, Reiko Heckel

    Published 2010-03-01
    Get full text
    Article
  3. 3
    Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

    Towards an embedding of Graph Transformation in Intuitionistic Linear Logic by Reiko Heckel, Paolo Torrini

    Published 2009-12-01
    Get full text
    Article
  4. 4
    A Modular Structural Operational Semantics for Delimited Continuations

    A Modular Structural Operational Semantics for Delimited Continuations by Neil Sculthorpe, Paolo Torrini, Peter D. Mosses

    Published 2016-06-01
    Get full text
    Article

Search Tools: