An Introduction to Functional Programming Through Lambda Calculus. - Michaelson, Greg (New York : Dover Publications, 2011)
Consulte la versión digital en la base de datos Ebsco, para accederlo debe usar su usuario y contraseña institucional, más información consulte en el Servicio de Referencia de la Biblioteca.
Bibliografía
COMP
Keywords: Informática; Programación; Cálculo; Cálculo lambda; Lenguaje computacional; Computación; Aritmética; Árboles binarios; Libros electrónicos.