Classical logic, storage operators and second order #-calculus. Prepublications de l'Equipe de Logique Mathematique (1992)

by J-L Krivine
Venue:Universite Paris VII