Predicative functionals and an interpretation of c ID<ω (1998)

by Jeremy Avigad
Venue:Ann. Pure Appl. Logic