Notions of computability at higher types. I (0)

by J R Longley
Venue:In Logic Colloquium 2000, volume 19 of Lect