TY  - RPRT
TI  - First-order homotopical logic
AU  - Joseph Helfer
PY  - 2022
DO  - 10.1017/jsl.2023.68
UR  - https://arxiv.org/abs/1908.08944
ID  - 1908.08944
ER  -