Author:
Chatzikyriakidis Stergios,Luo Zhaohui
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Asher, N.: Lexical Meaning in Context: a Web of Words. Cambridge University Press (2012)
2. Boldini, P.: Formalizing context in intuitionistic type theory. Fundamenta Informaticae 42(2), 1–23 (2000)
3. Chatzikyriakidis, S., Luo, Z.: An account of natural language coordination in type theory with coercive subtyping. In: Proc. of Constraint Solving and Language Processing, Orleans (2012)
4. Chatzikyriakidis, S., Luo, Z.: Natural Language Inference Using Coq (2013) (manuscript)
5. Church, A.: A formulation of the simple theory of types. J. Symbolic Logic 5(1) (1940)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Types and Type Theories in Natural Language Analysis;Annual Review of Linguistics;2024-01-16
2. Propositional Forms of Judgemental Interpretations;Journal of Logic, Language and Information;2023-05-03
3. References;Formal Semantics in Modern Type Theories;2020-12-11
4. Adjectival and Adverbial Modification: The View from Modern Type Theories;Journal of Logic, Language and Information;2017-02-17
5. On the Interpretation of Common Nouns: Types Versus Predicates;Studies in Linguistics and Philosophy;2017