The Hereditary Partial Recursive Functionals and recursion theory in higher types (1984)

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