Search Results - "lambda calculus"

Suggested Topics within your search.
  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    An introduction to lambda calculus [

    An introduction to lambda calculus [ by Ricci, Raven

    Published 2014
    Table of Contents: “…1. Introduction to lambda calculus -- 2. Church encoding -- 3. Fixed point combinator -- 4. …”
    World Technologies
  2. 2
    Functional programming & lambda calculus

    Functional programming & lambda calculus by Ricci, Raven, Bell, Alia

    Published 2012
    Subjects:
    College Publishing House
  3. 3
    A first course in type theory [

    A first course in type theory [ by Singleton, Velva

    Published 2012
    Table of Contents: “…Introduction to type theory -- 3. Simply typed lambda calculus -- 4. Type polymorphism and type system -- 5. …”
    Learning Press

Search Tools: