Suggested Topics within your search.
Showing 1 - 7 results of 7 for search '"lambda calculus"', query time: 0.02s Refine Results
  1. 1
    Lambda-calculus and combinators, an introduction /
    by Hindley, J. Roger
    Published 2008
    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 computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /
    by Bohm, C. ed
    Published 1975
    Printed Book
  4. 4
    Lambda-calculus, combinators, and functional programming
    by Revesz, G E
    Published 1989
    Printed Book
  5. 5
    Proofs and types /
    by Girard, Jean-Yves
    Published 1989
    Subjects: “...Lambda calculus. 2520...”
    Printed Book
  6. 6
    Computational semantics with functional programming /
    by Eijck, J. van
    Published 2010
    Table of Contents: “...Formal study of natural language -- Lambda calculus, types, and functional programming...”
    Printed Book
  7. 7
    Type theory and formal proof : an introduction /
    Cover image
Search Tools: Get RSS Feed — Email this Search