TY  - RPRT
TI  - Proofs and Refutations for Intuitionistic and Second-Order Logic (Extended Version)
AU  - Pablo Barenbaum
AU  - Teodoro Freund
PY  - 2022
UR  - https://arxiv.org/abs/2210.07274
ID  - 2210.07274
ER  -