by J. Roger Hindley
No reviews yet. Be the first!
Lambda-Calculus and Combinators
Basic simple type theory
Lambda-calculus and Combinators, an Intr...
Introduction to combinators and [lambda]...
Introduction to combinatory logic
To H.B. Curry
Introduction to Mathematical Structures ...
Extension Innovation Method
Ordered Sets
A Beginner's Guide to Discrete Mathemati...
A Beginner's Guide to Finite Mathematics
Combinatorics and Reasoning