Notions of computability at higher types. I (2005)

by John R Longley
Venue:In Logic Colloquium 2000