Filter By
Books (3)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Basic Simple Type Theory by J. Roger Hindley
RRP: £38.00Booksplease Price: £35.47Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat... -
Basic Simple Type Theory by J. Roger Hindley 9780521465182
RRP: £101.00Booksplease Price: £95.89Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat... -
Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley 9780521898850
RRP: £68.00Booksplease Price: £65.19Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as...