The hereditary partial recursive functionals and recursion theory in higher types (1984)

by G Longo
Venue:Journal of Symbolic Logic