Context-Passing and Underspecification in Dependent Type Semantics-Reference-Cited by-同舟云学术

Context-Passing and Underspecification in Dependent Type Semantics

Published:2017 Issue: Volume: Page:11-41
ISSN:0924-4662
Container-title:Studies in Linguistics and Philosophy
language:
Short-container-title:

Author:

Bekki Daisuke,Mineshima Koji

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-50422-3_2

Reference67 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. Akademiai Kiado.

2. Asher, N. (2011). Lexical Meaning in Context: A Web of Words. Cambridge: Cambridge University Press.

3. Atlas, J., & Levinson, S. (1981). It-clefts, informativeness and logical form: Radical pragmatics. In P. Cole (Ed.), Radical Pragmatics (pp. 1–61). Cambridge: Academic Press.

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

5. Beaver, D. I. (2001). Presupposition and Assertion in Dynamic Semantics. Studies in Logic, Language and Information. Stanford: CSLI Publications & FoLLI.

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

1. Constructive Type Theory, An Appetizer;Higher-Order Metaphysics;2024-03-21

2. Appositive Projection as Implicit Context Extension in Dependent Type Semantics;Lecture Notes in Computer Science;2024

3. Matrix and Relative Weak Crossover on the Level of the Individual: An Experimental Investigation;Lecture Notes in Computer Science;2024

4. Integrating Deep Neural Networks with Dependent Type Semantics;Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021);2023

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