Congratulations to Dr. Andrew Polonsky for having his paper "On sets of terms having a given intersection type" published in the Logical Methods in Computer Science.
lmcs:4849 - Logical Methods in Computer Science, September 21, 2022, Volume 18, Issue 3 - https://doi.org/10.46298/lmcs-18(3:35)2022