Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction

by J. Roger Hindley (Author), Jonathan P. Seldin (Author)

Synopsis

This book gives an account of combinatory logic and lambda-calculus models.

$88.31

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 358
Edition: 2
Publisher: Cambridge University Press
Published: 24 Jul 2008

ISBN 10: 0521898854
ISBN 13: 9780521898850