Publisher
Springer Science and Business Media LLC
Reference49 articles.
1. Abrusci, V. (1991). Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Journal of Symbolic Logic, 56, 1403–1451.
2. Barker, C. (2002). Continuations and the nature of quantification. Natural Language Semantics, 10, 211–242.
3. Barker, C. (2004). Continuations in natural language. In H. Thielecke (Ed.), CW’04: Proceedings of the 4th ACM SIGPLAN continuations workshop (pp. 1–11). Tech. Rep. CSR-04-1, School of Computer Science, University of Birmingham.
4. Barker, C., & Shan, C. (2006). Types as graphs: Continuations in type logical grammar. Journal of Logic, Language and Information, 15(4), 331–370.
5. Barker, C., & Shan, C. (2008). Donkey anaphora is in-scope binding. Semantics and Pragmatics, 1(1), 1–46.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modal reduction principles across relational semantics;Fuzzy Sets and Systems;2024-04
2. Lambek–Grishin Calculus: Focusing, Display and Full Polarization;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
3. Semantic Representations for Multilingual Natural Language Processing;2019 International Conference on Computational Science and Computational Intelligence (CSCI);2019-12
4. Algorithmic correspondence and canonicity for non-distributive logics;Annals of Pure and Applied Logic;2019-09
5. On Involutive Nonassociative Lambek Calculus;Journal of Logic, Language and Information;2019-01-03