Lambda-calculus and combinators, an introduction /

other_versions_link
Detalles Bibliográficos
Autor Principal: Hindley, J. Roger
Outros autores: Seldin, J. P.
Formato: Printed Book
Idioma:English
Publicado: Cambridge, UK ; New York : Cambridge University Press, c2008.
Subjects:
Lambda calculus.
Combinatory logic.

Títulos similares

Títulos similares