Theory of computation /
Tourlakis, George J.
Hoboken, N.J. : Wiley,
c2012.
Includes bibliographical references and index.
Computable functions.
Functional programming languages.