Representing Anaphora with Dependent Types-Reference-Cited by-同舟云学术

Representing Anaphora with Dependent Types

Published:2014 Issue: Volume: Page:14-29
ISSN:0302-9743
Container-title:Logical Aspects of Computational Linguistics
language:
Short-container-title:

Author:

Bekki Daisuke

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-43742-1_2

Reference25 articles.

1. Ahn, R., Kolb, H.P.: Discourse representation meets constructive mathematics. In: Kalman, L., Polos, L. (eds.) Papers from the Second Symposium on Logic and Language (1990)

2. Barendregt, H.P.: Lambda calculi with types. In: Abramsky, S., Gabbay, D.M., Maibaum, T. (eds.) Handbook of Logic in Computer Science, vol. 2, pp. 117–309. Oxford Science Publications (1992)

3. Clark, H.H.: Bridging. In: Roger, S., L., N.W.B. (eds.) TINLAP 1975: Proceedings of the 1975 Workshop on Theoretical Issues in Natural Language Processing, pp. 169–174. Association for Computational Linguistics, Stroudsburg (1975)

4. Dávila-Pérez, R.: Semantics and Parsing in Intuitionistic Categorial Grammar. Ph.d. thesis, University of Essex (1995)

5. Evans, G.: Pronouns. Linguistic Inquiry 11, 337–362 (1980)

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Types and Type Theories in Natural Language Analysis;Annual Review of Linguistics;2024-01-16

2. Trustworthy Formal Natural Language Specifications;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18

3. Propositional Forms of Judgemental Interpretations;Journal of Logic, Language and Information;2023-05-03

4. A Proof-Theoretic Analysis of Weak Crossover;New Frontiers in Artificial Intelligence;2023

5. References;Formal Semantics in Modern Type Theories;2020-12-11