Search Results - "lambda calculus"

Suggested Topics within your search.
  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Introduction to combinators and [lambda]-calculus

    Introduction to combinators and [lambda]-calculus by Hindley, J. Roger

    Published 1986
    Subjects: “…Lambda calculus…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Language in action categories, lambdas and dynamic logic

    Language in action categories, lambdas and dynamic logic by Van Benthem, Johan

    Published 1995
    Subjects: “…Lambda calculus…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    Isomorphisms of types from [lambda]-calculus to information retrieval and language design

    Isomorphisms of types from [lambda]-calculus to information retrieval and language design by Di Cosmo, Roberto 1963-

    Published 1995
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: