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 202 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.