Lambda Calculi: A Guide for Computer Scientists
Chris Hankin · 1994
Introduction. 1: Notation and basic theory. 2: Reduction. 3: Combinatory logic. 4: Semantics. 5: Computability. 6: Types. 7: Practical issues. 8: Other calculi. 9: Further reading. Bibliography. Index