An introduction to Lambda Calculi for computer scientists. Volume 2 - Hankin, Chris (Reino Unido : King's College, 2004)
Cada capítulo contiene resumen
Bibliografía
MATE
COMP
Keywords: Lenguaje computacional; Lógica computacional; Informática; Reducción; Semántica; Libros