Representing Anaphora with Dependent Types

Daisuke Bekki. Representing Anaphora with Dependent Types. In Nicholas Asher, Sergei Soloviev, editors, Logical Aspects of Computational Linguistics - 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings. Volume 8535 of Lecture Notes in Computer Science, pages 14-29, Springer, 2014. [doi]

Abstract

Abstract is missing.