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

by G Longo, E Moggi
Venue:Jour. Symb. Logic