Search Results - Jaskelioff, Mauro Javier

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Lifting of operations in modular monadic semantics

    Lifting of operations in modular monadic semantics by Jaskelioff, Mauro Javier

    Published 2009
    Get full text
  2. 2
    Modularity and implementation of mathematical operational semantics

    Modularity and implementation of mathematical operational semantics by Jaskelioff, Mauro Javier, Ghani, Neil, Hutton, Graham

    Published 2008
    Get full text

Search Tools: