Modelling Language, Action, and Perception in Type Theory with Records

Simon Dobnik, Robin Cooper, Staffan Larsson. Modelling Language, Action, and Perception in Type Theory with Records. In Denys Duchier, Yannick Parmentier, editors, Constraint Solving and Language Processing - 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers. Volume 8114 of Lecture Notes in Computer Science, pages 70-91, Springer, 2012. [doi]

Abstract

Abstract is missing.