Predicative functionals and an interpretation of cID<ω (1998)

by Jeremy Avigad
Venue:Ann. Pure Appl. Logic