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

Workshop on Type Theory and Natural Language Semantics (2014)

1 volumes · 11 papers (100% with DOI) · 21 unique authors (43% verified with ORCID)

Volumes

Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) 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