Showing 1 - 2 results of 2 for search 'Murdoch J. Gabbay', query time: 0.03s Refine Results
  1. 1
    Closed nominal rewriting and efficiently computable nominal algebra equality
    by Maribel Fernández, Murdoch J. Gabbay
    Published 2010-09-01
    Get full text
    Article
  2. 2
    Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets
    by Murdoch J. Gabbay, Dominic P. Mulligan
    Published 2011-10-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search