Correspondences between classical, intuitionistic and uniform provability

Gopalan Nadathur. Correspondences between classical, intuitionistic and uniform provability. Theoretical Computer Science, 232(1-2):273-298, 2000. [doi]

Authors

Gopalan Nadathur

This author has not been identified. Look up 'Gopalan Nadathur' in Google