Showing 1 - 1 results of 1 for search 'Gabbay, Murdoch James', query time: 0.05s Refine Results
  1. 1
    A theory of inductive definitions with α-equivalence : semantics, implementation, programming language
    by Gabbay, Murdoch James
    Published 2001
    Get full text
Search Tools: Get RSS Feed — Email this Search