NLCS'15: THIRD WORKSHOP ON NATURAL LANGUAGE AND COMPUTER SCIENCE

This page contains an index consisting of author-provided keywords.

A
Abstract Categorial Grammars	Non-linear Second Order Abstract Categorial Grammars and Deletion
ACG	Applicative Abstract Categorial Grammar
C
categorial	Bidirectional Functional Semantics for Pregroup Grammars
Coherence Spaces	Non-linear Second Order Abstract Categorial Grammars and Deletion
Compositional Semantics	Lexical Semantics with Linear Types
Computational linguistics	Computational Coverage of TLG: Nonlinearity
conservativity	On Logical Relations and Conservativity
Cut Elimination	Computational Coverage of TLG: Nonlinearity
E
Exponentials	Computational Coverage of TLG: Nonlinearity
H
Higher-Order Linear Intuitionistic Logic	Lexical Semantics with Linear Types
L
lambda	Bidirectional Functional Semantics for Pregroup Grammars
Lambda-Calculus	Lexical Semantics with Linear Types
Lexical Semantics	Lexical Semantics with Linear Types
Linear Logic	Non-linear Second Order Abstract Categorial Grammars and Deletion Computational Coverage of TLG: Nonlinearity
logical relation	On Logical Relations and Conservativity
M
monads	Applicative Abstract Categorial Grammar
Montague semantics	On Logical Relations and Conservativity
P
pregroup	Bidirectional Functional Semantics for Pregroup Grammars
proof	Bidirectional Functional Semantics for Pregroup Grammars
S
staging	Applicative Abstract Categorial Grammar
Sublinear Logic	Computational Coverage of TLG: Nonlinearity
syntax-semantic interface	Applicative Abstract Categorial Grammar
T
Typing	Non-linear Second Order Abstract Categorial Grammars and Deletion

Disclaimer | Powered by EasyChair Smart ProgramDisclaimer | Powered by EasyChair Smart Program