TY  - BOOK
T1  - Introduction to combinators and (lambda)-calculus
T2  - London mathematical society student texts
A1  - Hindley, J. Roger
A2  - Seldin, Jonathan P
LA  - English
PP  - Cambridge, United Kingdom
PB  - Cambridge University Press
YR  - 1990
ED  - [2a repr.]
UL  - https://colectivo.uloyola.es/Record/L52126
OP  - 360
SN  - 0521318394
KW  - Análisis combinatorio
KW  - Lógica matemática
KW  - Algoritmos
KW  - Lenguajes de programación
ER  -