|
|
Lambda-Calculus and Combinators
Keeping technical requirements to a minimum, this long-awaited new edition gives a modern account of combinatory logic and lambda-calculus models.
EAN/ISBN : 9780511410963
Publisher(s): Cambridge Univ... |
 |
|
|
| Download PDF |
| Lambda-Calculus and Combinators |
|
