TY  - RPRT
TI  - On sets of terms having a given intersection type
AU  - Andrew Polonsky
AU  - Richard Statman
PY  - 2022
DO  - 10.46298/lmcs-18(3:35)2022
UR  - https://arxiv.org/abs/1809.08169
ID  - 1809.08169
ER  -