Lambda-calculus and combinators, an introduction /

other_versions_link
Detalhes bibliográficos
Autor principal: Hindley, J. Roger
Outros Autores: Seldin, J. P.
Formato: Printed Book
Idioma:English
Publicado em: Cambridge, UK ; New York : Cambridge University Press, c2008.
Assuntos:
Lambda calculus.
Combinatory logic.

Registos relacionados

Registos relacionados