Search Results

Suggested Topics within your search.
  • Showing 1 - 5 results of 5
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
    Recursive programming techniques

    Recursive programming techniques by Burge, William H

    Published 1975
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    Algebra of proofs

    Algebra of proofs by Szabo, M. E

    Published 1978
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Pragmatic logic

    Pragmatic logic by Eccles, William J.

    Published 2007
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 5
    Combinatory logic pure, applied and typed

    Combinatory logic pure, applied and typed by Bimbo, Katalin 1963-

    Published 2012
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: