Interpretation of analysis by means of constructive functionals of finite types (1959)

by G Kreisel
Venue:Constructivity in Mathematics