LC Lambda-calculus, combinators, and functional programming by Révész, György E. fromCambridge tracts in theoretical computer science 0 Type: Book
AI An introduction to functional programming through Lambda calculus by Michaelson, Greg fromInternational computer science series 0 Type: Book
LC Lambda calculi: a guide for computer scientists by Hankin, Chris fromGraduate texts in computer science 0 Type: Book
TL The lambda calculus: its syntax and semantics by Barendregt, Hendrik Pieter fromStudies in logic and the foundations of mathematics 0 Type: Book
