John Longley Higher-Order Computability - 1st ed. 2015 - Springer 2015 - Theory and Applications of Computability . ISBN: 9783662479926 Subjects--Topical Terms: Computer ScienceTheory of Computation