TY  - RPRT
TI  - Correspondences between Classical, Intuitionistic and Uniform Provability
AU  - Gopalan Nadathur
PY  - 1998
UR  - https://arxiv.org/abs/cs/9809015
ID  - cs/9809015
ER  -