On the membership problem for non-linear abstract categorial grammars

DOI10.1007/s10849-009-9110-0zbMath1197.03033OpenAlexW2092570590MaRDI QIDQ972435

Sylvain Salvati

Publication date: 26 May 2010

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00446785/file/generation.pdf

zbMATH Keywords

intersection typeslambda-calculusformal grammarsMontague semanticstext generation

Mathematics Subject Classification ID

Logic of natural languages (03B65) Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items

A Datalog Recognizer for Almost Affine λ-CFGs, An alternate proof of Statman's finite completeness theorem, Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus, The IO and OI hierarchies revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The IO- and OI-hierarchies
• A coherence theorem for canonical morphisms in Cartesian closed categories
• On multiple context-free grammars
• Tree adjunct grammars
• The typed lambda-calculus is not elementary recursive
• Uniqueness of normal proofs in implicational intuitionistic logic