Author:
Lungu Georgiana E.,Luo Zhaohui
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Barwise, J., Cooper, R.: Generalized quantifiers and natural language. Linguistics and Philosophy 4(2), 159–219 (1981)
2. Callaghan, P., Luo, Z.: An implementation of LF with coercive subtyping and universes. Journal of Automated Reasoning 27(1), 3–27 (2001)
3. Lecture Notes in Computer Science;S. Chatzikyriakidis,2013
4. Lecture Notes in Computer Science;S. Chatzikyriakidis,2013
5. Chatzikyriakidis, S., Luo, Z.: Natural language inference in Coq. In: EACL Workshop on Type Theory and Natural Language Semantics, Goteborg (2013) (submitted manuscript)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. References;Formal Semantics in Modern Type Theories;2020-12-11
2. Proof Assistants for Natural Language Semantics;Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016);2016