by J. Roger Hindley (Author), Jonathan P. Seldin (Author)
This book gives an account of combinatory logic and lambda-calculus models.
Format: Illustrated
Pages: 358
Edition: 2
Publisher: Cambridge University Press
Published: 24 Jul 2008
ISBN 10: 0521898854
ISBN 13: 9780521898850