The Calculi of Lambda-Conversion

by Alonzo Church

The classic book that inspired Alan Turing and helped to lay the foundation for theoretical computer science

This book provides a concise introduction to the calculi of lambda-conversion first discovered by Alonzo Church and developed by him in collaboration with his students, S. C. Kleene and J. B. Rosser. The first four chapters present the calculus of lambda-conversion in detail, with subsequent chapters discussing the calculus...

• Format: Paperback
• Language: English
• ISBN: 0691083940
• ISBN13: 9780691083940
• Release Date: January 1985
• Publisher: Princeton University Press
• Length: 77 Pages
• Weight: 0.38 lbs.
• Dimensions: 0.3" x 6.0" x 9.1"