Lambda Calculus with Types (Perspectives in Logic)
by Henk Barendregt, Wil Dekkers, Richard Statman
An authoritative treatment of lambda calculus with types, covering core theoretical developments and their significance in logic and computation.
About This Book
This book examines the foundations of lambda calculus and its relationship to typed systems.
It presents key theoretical results connecting computation and type structures.
The text is part of the Perspectives in Logic series and targets advanced readers.
Reviews
No reviews yet. Be the first to review this book!