Classical logic, storage operators and second order lambdacalculus (1994)

by J-L Krivine
Venue:Annals of Pure and Applied Logic (68