TY - JOUR AU - Dobnik, Simon AU - Cooper, Robin PY - 2017/11/03 Y2 - 2024/03/29 TI - Interfacing language, spatial perception and cognition in Type Theory with Records JF - Journal of Language Modelling JA - JLM VL - 5 IS - 2 SE - Articles DO - 10.15398/jlm.v5i2.148 UR - https://jlm.ipipan.waw.pl/index.php/JLM/article/view/148 SP - 273–301 AB - We argue that computational modelling of perception, action, language, and cognition introduces several requirements on a formal semantic theory and its practical implementations. Using examples of semantic representations of spatial descriptions we show how Type Theory with Records (TTR) satisfies these requirements. ER -