Search Results

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

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

    Published 1986
    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
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: