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
Venues:
TTNLS | WS
SIG:
Publisher:
Association for Computational Linguistics
URL:
https://www.aclweb.org/anthology/W14-14
DOI:
10.3115/v1/W14-14
Bib Export formats:
BibTeX MODS XML EndNote
PDF:
http://aclanthology.lst.uni-saarland.de/W14-14.pdf

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