Predicative functionals and an interpretation of (1998)

by J Avigad
Venue:ID!! , Annals of Pure and Applied Logic