## On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic (1992)

### Cached

### Download Links

- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [ftp.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Andrew M. Pitts

Venue: | JOURNAL OF SYMBOLIC LOGIC |

Citations: | 28 - 0 self |