Classical logic, storage operators and second-order lambda-calculus (1994)

by J-L Krivine
Venue:Ann. Pure Appl. Logic