Classically and intuitionistically provably recursive functions. In: Higher set theory (1977)

by H Friedman
Venue:Lect. Notes in Math. 669