Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars.

Published in: CoRR (2014)

Keyphrases

linear logic
context free grammars
grammatical inference
context free
natural language
fixed point
logical framework
first order logic
proof theoretic
lambda calculus
artificial intelligence
software engineering
phrase structure