TY  - RPRT
TI  - Puzzles of Existential Generalisation from Type-theoretic Perspective
AU  - Jiří Raclavský
PY  - 2022
DO  - 10.4204/eptcs.358.6
UR  - https://arxiv.org/abs/2204.06726
ID  - 2204.06726
ER  -