Higher-order computability / John Longley, Dag Normann. - Longley, John; Normann, Dag, 1947- (Theory and applications of computability., 2015)