TY  - RPRT
TI  - Open Higher-Order Logic (Long Version)
AU  - Ugo Dal Lago
AU  - Francesco Gavazzo
AU  - Alexis Ghyselen
PY  - 2022
UR  - https://arxiv.org/abs/2211.06671
ID  - 2211.06671
ER  -