Lambda-calculus, Types and Models
| Author | : Jean Louis Krivine |
| Publisher | : Prentice Hall |
| Total Pages | : 200 |
| Release | : 1993 |
| ISBN-10 | : UCSD:31822016961583 |
| ISBN-13 | : |
| Rating | : 4/5 (83 Downloads) |
Book Synopsis Lambda-calculus, Types and Models by : Jean Louis Krivine
Download or read book Lambda-calculus, Types and Models written by Jean Louis Krivine and published by Prentice Hall. This book was released on 1993 with total page 200 pages. Available in PDF, EPUB and Kindle. Book excerpt: This introduction to lambda-calculus looks at aspects of the theory: combinatory logic, models, and type streams, showing how they interlink and underpin computer science.
