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

by Andrew M Pitts
Venue:J. Symbolic Logic