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