ISBNdb.com Home | Categories | Subjects | Authors | Publishers | Your Account (A)
ISBN or Keywords:
Subject Summary
Subject Books
Subjects Search
Recently Added
Lambda calculus
Referred from 37 books

Books on this subject:

Here are some of the most recently loaded books on this subject, you can also see all 37 matching books on a separate page.

Lectures on the Curry-Howard Isomorphism
Sorensen, Morten
Publisher: Burlington : Elsevier, 2006.
ISBN: 0080478921   DDC: 511.32622   LCC: QA9.54  
Lambda-calculus and combinators
Lambda-calculus and combinators an introduction
J. Roger Hindley, Jonathan P. Seldin
Publisher: New York : Cambridge University Press, 2008.
ISBN: 0511414900   DDC: 511.35   LCC: QA9.5   Edition: (electronic bk.)
Lambda-calculus and combinators, an introduction
J. Roger Hindley, Jonathan P. Seldin
Publisher: Cambridge, UK ; Cambridge University Press, c2008.
ISBN: 0511413297   Edition: (ebook : ebrary)

Subject structure:

Below you can see components of the subject along with their types and similar subjects. Click on a subject component to see other subjects that include it.

  1. "Lambda calculus" -- Topical Term, 650/a
    Similar Subjects:
      Lambda calculus -- Congresses (7)
      Curry-Howard isomorphism. Lambda calculus. Proof theory (1)
      Lambda calculus -- Bibliography (1)

Categories this subject is listed in:

•  Science > Mathematics > Calculus

Copyright © 2002-2012 ISBNdb.com FAQ | Privacy Policy | Contact ISBNdb.com