Fernandez, Maribel

Models of computation An introduction to computability theory - New Delhi Springer Publishing Company - Soft Binding xi 184


English

978-81-322-0448-4

--lambda calculus, Recursive functions, computation

511.352 FER-M