Generation in the Lambek calculus framework: an approach with semantic proof nets

Authors:
Sylvain Pogodalla
Affiliations:
Xerox Researce Centre Europe, Meylan, France
Venue:
NAACL 2000 Proceedings of the 1st North American chapter of the Association for Computational Linguistics conference
Year:
2000

Citing 4
Cited 0

Linear logic

Theoretical Computer Science
Proofs and types

Proofs and types
Generation as Deduction on Labelled Proof Nets

LACL '96 Selected papers from the First International Conference on Logical Aspects of Computational Linguistics
Games Semantics for Full Propositional Linear Logic

LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract