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

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