Larsson, Staffan, Robin Cooper, Jonathan Ginzburg, and Andy Lücking. TTR at the SPA: Relating type-theoretical semantics to neural semantic pointers In Proceedings of Natural Logic Meets Machine Learning IV. NALOMA'23., 2023.