Models of computation : introduction to computability theory /
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
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