Workshop on Type Theory and Natural Language Semantics (2014) - ACL Anthology

This is an internal, incomplete preview of a proposed change to the ACL Anthology. For efficiency reasons, we don't generate MODS or Endnote formats, and the preview may be incomplete in other ways, or contain mistakes. Do not treat this content as an official publication.

Workshop on Type Theory and Natural Language Semantics (2014)

Volumes

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

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

Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
Robin Cooper | Simon Dobnik | Shalom Lappin | Staffan Larsson

Types and Records for Predication
Aarne Ranta

System with Generalized Quantifiers on Dependent Types for Anaphora
Justyna Grudzińska | Marek Zawadowski

Monads as a Solution for Generalized Opacity
Gianluca Giorgolo | Ash Asudeh

The Phenogrammar of Coordination
Chris Worth

Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond
Stergios Chatzikyriakidis | Zhaohui Luo

A Type-Driven Tensor-Based Semantics for CCG
Jean Maillard | Stephen Clark | Edward Grefenstette

From Natural Language to RDF Graphs with Pregroups
Antonin Delpeuch | Anne Preller

Incremental semantic scales by strings
Tim Fernando

A Probabilistic Rich Type Theory for Semantic Interpretation
Robin Cooper | Simon Dobnik | Shalom Lappin | Staffan Larsson

Probabilistic Type Theory for Incremental Dialogue Processing
Julian Hough | Matthew Purver

Propositions, Questions, and Adjectives: a rich type theoretic approach
Jonathan Ginzburg | Robin Cooper | Tim Fernando