nLab 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.

References

• 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)