• Shop by category
  • Powered by eBay
  • Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley [Hardback]

    • Item No : 388438514545
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : simplybestprices-10to20dayshipping
    • Current Bid : US $74.45
    • * Item Description

    • Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category