Notions of computability at higher types I (2005)

by John Longley
Venue:In Logic Colloquium 2000