TY  - RPRT
TI  - Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View
AU  - Gilles Dowek
PY  - 2023
UR  - https://arxiv.org/abs/2305.03322
ID  - 2305.03322
ER  -