Higher-Order Computability

John Longley, Dag Normann. Higher-Order Computability. Theory and Applications of Computability, Springer, 2015. [doi]

Abstract

Abstract is missing.