TY  - RPRT
TI  - Simple Type Theory as a Clausal Theory
AU  - Gilles Dowek
PY  - 2023
UR  - https://arxiv.org/abs/2304.13319
ID  - 2304.13319
ER  -