Author:
Yana Yukiko,Mineshima Koji,Bekki Daisuke
Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Reference35 articles.
1. Ahn, R., & Kolb, H.-P. (1990). Discourse representation meets constructive mathematics. In L. Kalman, & L. Polos (Eds.), Papers from the second symposium on logic and language (pp. 1–18). Akademiai Kiado.
2. Bekki, D. (2014). Representing anaphora with dependent types. In N. Asher & S. V. Soloviev (Eds.), Logical aspects of computational linguistics (LACL2014), LNCS 8535 (pp. 14–29). Berlin: Springer.
3. Bekki, D., & Kawazoe, A. (2016). Implementing variable vectors in a CCG parser. In Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016) (pp. 52–67). Springer.
4. Bekki, D., & Mineshima, K. (2017). Context-passing and underspecification in dependent type semantics. In modern perspectives in type theoretical semantics (p. 11). Springer.
5. Bos, J., Mastenbroek, E., Mcglashan, S., Millies, S., & Pinkal, M. (1994). A compositional DRS-based formalism for NLP applications. In In international workshop on computational semantics (pp. 21–31).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Proof-Theoretic Analysis of Weak Crossover;New Frontiers in Artificial Intelligence;2023