Dependent Type Semantics

Dependent Type Semantics is a framework of natural language semantics based on dependent type theory. It has been developed by Daisuke Bekki and his group.


  • Bekki, D.: Representing anaphora with dependent types. In: Asher, N., Soloviev, S. (eds.) Logical Aspects of Computational Linguistics, Lecture Notes in Computer Science, vol. 8535, pp. 14–29. Springer (2014)
  • Bekki, D., Asher, N.: Logical polysemy and subtyping. In: Motomura, Y., Butler, A., Bekki, D. (eds.) New Frontiers in Artificial Intelligence, Lecture Notes in Computer Science, vol. 7856, pp. 17–24. Springer (2013)
  • Tanaka, R., Mineshima, K., Bekki, D.: Resolving modal anaphora in Dependent Type Se- mantics. In: Proceedings of LENLS11. pp. 43–56 (2014)

Created on October 28, 2015 at 04:48:08. See the history of this page for a list of all contributions to it.