Types as Graphs: Continuations in Type Logical Grammar-Reference-Cited by-同舟云学术

Types as Graphs: Continuations in Type Logical Grammar

Published:2006-11-01 Issue:4 Volume:15 Page:331-370
ISSN:0925-8531
Container-title:Journal of Logic, Language and Information
language:en
Short-container-title:JoLLI

Author:

Barker Chris,Shan Chung-chieh

Publisher

Springer Science and Business Media LLC

Subject

Linguistics and Language,Philosophy,Computer Science (miscellaneous)

Link

http://link.springer.com/content/pdf/10.1007/s10849-006-0541-6.pdf

Reference80 articles.

1. Abbott, M., Altenkirch, T., Ghani, G.N., and McBride, C., 2003, “Derivatives of containers,” in TLCA 2003: Proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, Martin Hofmann, ed., pp. 16–30. Lecture Notes in Computer Science. Vol. 2701, Berlin: Springer-Verlag.

2. Aoun, J. and Li, Y.-h. A., 1993, Syntax of Scope. Cambridge: MIT Press.

3. Barendregt, H.P., 1981, The Lambda Calculus: Its Syntax and Semantics. Amsterdam: Elsevier Science.

4. Barker, C., 2002, “Continuations and the nature of quantification,” Natural Language Semantics 10(3), 211–242.

5. Barker, C., 2004, “Continuations in natural language,” in CW’04: Proceedings of the 4th ACM SIG-PLAN Continuations Workshop, Hayo Thielecke, ed., pp. 1–11. Tech. Rep. CSR-04-1, School of Computer Science, University of Birmingham.

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

1. Artificial Intelligence and Language;A Guided Tour of Artificial Intelligence Research;2020

2. Scope*;The Handbook of Contemporary Semantic Theory;2015-08-21

3. Towards Computational Non-associative Lambek Lambda-Calculi for Formal Pragmatics;Studies in Linguistics and Philosophy;2014

4. Continuation Hierarchy and Quantifier Scope;Studies in Linguistics and Philosophy;2014

5. Distributional Semantics: A Montagovian View;Lecture Notes in Computer Science;2014