Ordinal analysis of bar recursion of type zero (1981)

by W A Howard
Venue:Comp. Math