Library

4 books starting with L All letters.

• Lambda-calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 4)G. E. Revesz
• Lambda-Calculus and Combinators: An IntroductionJ. Roger Hindley, Jonathan P. Seldin · 2008
• Lambda Calculus with Types (Perspectives in Logic)Henk Barendregt, Wil Dekkers · 2013
• Logic in Computer Science: Modelling and Reasoning about SystemsMichael Huth, Mark Ryan · 2000