Proofs and Refutations for Intuitionistic and Second-Order Logic.

Pablo Barenbaum, Teodoro Freund

Browse the full CSL paper archive.