Interfacing language, spatial perception and cognition in Type Theory with Records

Simon Dobnik, University of Gothenburg, Sweden
Robin Cooper, University of Gothenburg, Sweden


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.


spatial language, Type Theory with Records (TTR), computational framework

Full Text:



ISSN of the paper edition: 2299-856X