Lambda Calculi: A Guide for Computer Scientists: No.3 (Graduate Texts in Computer Science) - Hardcover
Synopsis
Lambda calculus lies at the very foundation of computer science. Besides its historical role in computability theory, it has had significant influence on programming language design and implementation, denotational semantics and domain theory. This book is written from a systems perspective, emphasizing the practical relevance of many of the key theoretical ideas.
"synopsis" may belong to another edition of this title.
Review
`For the serious student working in this field, Lambda Calculi contains a wealth of useful information which would take a long time to extract from other sources.'`.. a very good book and [] a timely addition to the theoretical computer scientist's bookshelf.'The Computer Journal
About the Author
Chris Hankin, Department of Computing, Imperial College, London.
"About this title" may belong to another edition of this title.
