TY  - RPRT
TI  - Decidable fragments of the Simple Theory of Types with Infinity and NF
AU  - Anuj Dawar
AU  - Thomas Forster
AU  - Zachiri McKenzie
PY  - 2014
DO  - 10.1215/00294527-2017-0009
UR  - https://arxiv.org/abs/1406.4384
ID  - 1406.4384
ER  -