Suggested Topics within your search.
Showing 1 - 4 results of 4 for search '"Lambda calculus"' Refine Results
  1. 1
    The lambda calculus : its syntax and semantics / Henk P. Barendregt.
    Subjects: '; “...Lambda calculus....”
    Book
    Save to List
    Saved in:
  2. 2
    An introduction to functional programming through lambda calculus Greg Michaelson.
    by Michaelson, Greg
    Published 2013
    Subjects: '; “...Computer systems Programming Applications of lambda calculus....”
    Get full text
    eBook
    Save to List
    Saved in:
  3. 3
    An introduction to functional programming through Lambda calculus / Greg Michaelson.
    by Michaelson, Greg, 1953-
    Published 2011
    Edition: Dover ed.
    Subjects: '; “...Lambda calculus....”
    Book
    Save to List
    Saved in:
  4. 4
    Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons.
    by Simmons, Harold
    Published 2000
    Subjects: '; “...Lambda calculus...”
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search