Categorial Grammar and Lambda Calculus-Reference-Cited by-同舟云学术

Categorial Grammar and Lambda Calculus

Published:1987 Issue: Volume: Page:39-60
ISSN:
Container-title:Mathematical Logic and Its Applications
language:
Short-container-title:

Author:

van Benthem Johan

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4613-0897-3_4

Reference24 articles.

1. E. Bach, R. Oehrle and D. Wheeler, eds, 1986, Categorial Grammars and Natural Language Structures, Reidel, Dordrecht.

2. J. Bacon, 1985, ‘The Completeness of a Predicate-Functor Logic’, Journal of Symbolic Logic 50, 903–926.

3. H. Barendregt, 1981, The Lambda Calculus; its Syntax and Semantics, North-Holland, Amsterdam.

4. J. van Benthem, 1983, The Semantics of Variety in Categorial Grammar, report 83-26, Department of Mathematics, Simon Fraser University, Burnaby (B.C.). (To appear in Buszkowski, Marciszewski & van Benthem (eds), 1986.)

5. J. van Benthem, 1986a, Essays in Logical Semantics, Reidel, Dordrecht.

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

1. A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras;Mathematical Structures in Computer Science;2019-04-10

2. Designing Efficient Controlled Languages for Ontologies;Text, Speech and Language Technology;2014

3. A Logic for Categorial Grammars: Lambek’s Syntactic Calculus;The Logic of Categorial Grammars;2012

4. Categorial Grammar and Formal Semantics;Encyclopedia of Cognitive Science;2006-01-15

5. Geach’s Categorial Grammar;Linguistics and Philosophy;2005-06