TY  - RPRT
TI  - A complete axiomatization of infinitary first-order intuitionistic logic over $\mathcal{L}_{κ^+, κ}$
AU  - Christian Espíndola
PY  - 2020
UR  - https://arxiv.org/abs/1806.06714
ID  - 1806.06714
ER  -