Browsing 01 Mathematical Sciences by Author "Jay, Barry"

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Browsing 01 Mathematical Sciences by Author "Jay, Barry"

Sort by: Order: Results:

  • Jay, Barry; Given-Wilson, Thomas (Assn Symbolic Logic Inc, 2011)
    Traditional combinatory logic uses combinators S and K to represent all Turing-computable functions on natural numbers, but there are Turing-computable functions on the combinators themselves that cannot be so represented, ...
  • Jay, Barry; Kesner, D (Springer-Verlag Berlin, 2006)
    The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calculus derive from allowing any term to be a pattern. ...