%0 Conference Proceedings %T Spatial Descriptions in Type Theory with Records %A Dobnik, Simon %A Cooper, Robin %Y Kelleher, John %Y Ross, Robert %Y Dobnik, Simon %S Proceedings of the IWCS 2013 Workshop on Computational Models of Spatial Language Interpretation and Generation (CoSLI-3) %D 2013 %8 March %I Association for Computational Linguistics %C Potsdam, Germany %F dobnik-cooper-2013-spatial %U https://aclanthology.org/W13-0701 %P 1-6