On an interpretation of second-order quanti in intuitionistic propositional logic (1992)

by A Pitts
Venue:Journal of Symbolic Logic