Suggested Topics within your search.
Showing 1 - 3 results of 3 for search '"Lambda calculus."', query time: 0.03s Refine Results
  1. 1
    Proofs and types /
    by Girard, Jean-Yves
    Published 1989
    Subjects: “...Lambda calculus. 2520...”
    Printed Book
  2. 2
    Lambda-calculus and combinators, an introduction /
    by Hindley, J. Roger
    Published 2008
    Subjects: “...Lambda calculus....”
    Printed Book
  3. 3
    Lambda-calculus and combinators, an introduction /
    by Hindley, J. Roger
    Published 2008
    Subjects: “...Lambda calculus. 2520...”
    Printed Book
Search Tools: Get RSS Feed — Email this Search