VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

A
action	How to do things with types
algebraic effects and handlers	Algebraic Effects and Handlers in Natural Language Interpretation
Argument	Analyzing and Modelling the Structure of Argument Compounds in Logic: the case of technical texts
C
clitic pronouns	Computing Italian clitic and relative clauses with tupled pregroups
Compact Closed Categories	A low-level treatment of quantifiers in categorical compositional distributional semantics
comparatives	Mereological Comparatives in Delineation Semantics
compositionality	Algebraic Effects and Handlers in Natural Language Interpretation
computational semantics	Algebraic Effects and Handlers in Natural Language Interpretation
context-free grammars	On Translating Context-Free Grammars into Lambek Categorial Grammars
continuation semantics	Algebraic Effects and Handlers in Natural Language Interpretation
cumulative quantification	Toward a Logic of Cumulative Quantification
D
Delineation semantics	Mereological Comparatives in Delineation Semantics
dependency parsers	Transfer Semantics for the Clear Parser
dialogue	Divergence in Dialogues How to do things with types
discourse analysis	Analyzing and Modelling the Structure of Argument Compounds in Logic: the case of technical texts
Distributional Semantics	A low-level treatment of quantifiers in categorical compositional distributional semantics
Dynamic Predicate Logic	Modelling implicit dynamic introduction of function symbols in mathematical texts
dynamic quantification	Modelling implicit dynamic introduction of function symbols in mathematical texts
E
EFL-ontology	Solving Partee's Temperature Puzzle in an EFL-Ontology
Extraction	Program Extraction Applied to Monadic Parsing
F
formal mathematics	Modelling implicit dynamic introduction of function symbols in mathematical texts
function introduction	Modelling implicit dynamic introduction of function symbols in mathematical texts
G
Generalized Quantifiers	A low-level treatment of quantifiers in categorical compositional distributional semantics
H
Hoare assertions	Grice, Hoare and Nash: some comments on conversational implicature
I
Implicature	Grice, Hoare and Nash: some comments on conversational implicature
Individual concepts	Solving Partee's Temperature Puzzle in an EFL-Ontology
Intensional transitive verbs	Proof-Theoretic Semantics for intensional transitive verbs
Intensionalization	Solving Partee's Temperature Puzzle in an EFL-Ontology
Interaction	Divergence in Dialogues
L
Lambek grammars	On Translating Context-Free Grammars into Lambek Categorial Grammars
language of mathematics	Modelling implicit dynamic introduction of function symbols in mathematical texts
logic programming	Analyzing and Modelling the Structure of Argument Compounds in Logic: the case of technical texts
Logics	Divergence in Dialogues
M
mereology	Mereological Comparatives in Delineation Semantics
Monadic	Program Extraction Applied to Monadic Parsing
Montague semantics	On Translating Context-Free Grammars into Lambek Categorial Grammars
N
Nash bargaining	Grice, Hoare and Nash: some comments on conversational implicature
natural language	Computing Italian clitic and relative clauses with tupled pregroups
natural logic	Toward a Logic of Cumulative Quantification
O
Opaqueness	Proof-Theoretic Semantics for intensional transitive verbs
P
Passivization	Proof-Theoretic Semantics for intensional transitive verbs
Pregroups	Computing Italian clitic and relative clauses with tupled pregroups
proof	Program Extraction Applied to Monadic Parsing
Proof-Theoretic Semantics	Proof-Theoretic Semantics for intensional transitive verbs
PTQ-fragment	Solving Partee's Temperature Puzzle in an EFL-Ontology
R
relative clauses	Computing Italian clitic and relative clauses with tupled pregroups
S
scalar implicature	Toward a Logic of Cumulative Quantification
semantic rewriting	Transfer Semantics for the Clear Parser
semi-orders	Mereological Comparatives in Delineation Semantics
Simple Theory of Types	Solving Partee's Temperature Puzzle in an EFL-Ontology
speech act theory	How to do things with types
syntax-semantics interface	Transfer Semantics for the Clear Parser Algebraic Effects and Handlers in Natural Language Interpretation
T
Temperature puzzle	Solving Partee's Temperature Puzzle in an EFL-Ontology
tupled pregroup grammars	Computing Italian clitic and relative clauses with tupled pregroups
type theory	How to do things with types
V
Vector Space Semantics	A low-level treatment of quantifiers in categorical compositional distributional semantics

Disclaimer | Powered by EasyChair Smart Program