An introduction to Lambda Calculi for computer scientists. Volume 2 - Hankin, Chris (King's College, 2004)
Cada capítulo contiene resumen