An introduction to lamba calculi for computer scientists - Hankin, Chris, 1954- (Strand, Londo, Uk : King's College Publications., 2004)
Keywords: LENGUAJES DE PROGRAMACIÓN; FUNCIONES (MATEMÁTICAS); CÁLCULO; MATEMÁTICA APLICADA; LÓGICA