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

by Andrew M. Pitts
Venue:JOURNAL OF SYMBOLIC LOGIC, 57: 33 { 52
Citations:23 - 0 self