Browsing Closed by Author "Kesner, D"

UTSePress Research/Manakin Repository

Search UTSePress Research

Advanced Search


My Account

Browsing Closed by Author "Kesner, D"

Sort by: Order: Results:

  • 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. ...