Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)

Robin Cooper, Simon Dobnik, Shalom Lappin, Staffan Larsson (Editors)

Anthology ID:
W14-14
Month:
April
Year:
2014
Address:
Gothenburg, Sweden
Venue:
TTNLS
Events:
Other Workshops and Events (2014) | Workshop on Type Theory and Natural Language Semantics (2014)
SIG:
Publisher:
Association for Computational Linguistics
URL:
https://preview.aclanthology.org/switch-docopt-to-docopt-ng/W14-14/
DOI:
10.3115/v1/W14-14
Bib Export formats:
BibTeX
PDF:
https://preview.aclanthology.org/switch-docopt-to-docopt-ng/W14-14.pdf
PDF (full) BibTeX Search
pdf bib
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
Robin Cooper | Simon Dobnik | Shalom Lappin | Staffan Larsson
pdf bib
Types and Records for Predication
Aarne Ranta
pdf bib
System with Generalized Quantifiers on Dependent Types for Anaphora
Justyna Grudzińska | Marek Zawadowski
pdf bib
Monads as a Solution for Generalized Opacity
Gianluca Giorgolo | Ash Asudeh
pdf bib
The Phenogrammar of Coordination
Chris Worth
pdf bib
Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond
Stergios Chatzikyriakidis | Zhaohui Luo
pdf bib
A Type-Driven Tensor-Based Semantics for CCG
Jean Maillard | Stephen Clark | Edward Grefenstette
pdf bib
From Natural Language to RDF Graphs with Pregroups
Antonin Delpeuch | Anne Preller
pdf bib
Incremental semantic scales by strings
Tim Fernando
pdf bib
A Probabilistic Rich Type Theory for Semantic Interpretation
Robin Cooper | Simon Dobnik | Shalom Lappin | Staffan Larsson
pdf bib
Probabilistic Type Theory for Incremental Dialogue Processing
Julian Hough | Matthew Purver
pdf bib
Propositions, Questions, and Adjectives: a rich type theoretic approach
Jonathan Ginzburg | Robin Cooper | Tim Fernando