John Longley

Higher-Order Computability - 1st ed. 2015 - Springer 2015 - Theory and Applications of Computability .

9783662479926


Computer Science
Theory of Computation