Fernandez, Maribel.
Models of computation : introduction to computability theory /
By Maribel Fernandez.
- 1st ed.
- New Delhi : Springer , 2012.
- xi,184p. ; PB 23.1 cm
9788132204480
The lambda calculus
Recursive functions
Interaction -based modes of computation
511.3 / FERM