TY  - BOOK
AU  - Fernandez, Maribel.
TI  - Models of computation: introduction to computability theory 
SN  - 9788132204480
U1  - 511.3  1
PY  - 2012///
CY  - New Delhi
PB  - Springer
KW  - The lambda calculus
KW  - Recursive functions
KW  - Interaction -based modes of computation
ER  -