On bar recursion of types 0 and 1 (1979)

by H Schwichtenberg
Venue:Journal of Symbolic Logic