Workshop on Type Theory and Natural Language Semantics (2014)
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