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

by G Longo, E Moggi
Venue:Journal of Symbolic Logic