Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
RobinCooper
SimonDobnik
ShalomLappin
StaffanLarsson
April
2014
Gothenburg, Sweden
Association for Computational Linguistics
http://www.aclweb.org/anthology/W14-14
book
TTNLS:2014
Types and Records for Predication
AarneRanta
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
April
2014
Gothenburg, Sweden
Association for Computational Linguistics
1–9
http://www.aclweb.org/anthology/W14-1401
inproceedings
ranta:2014:TTNLS
System with Generalized Quantifiers on Dependent Types for Anaphora
JustynaGrudzinska
MarekZawadowski
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
April
2014
Gothenburg, Sweden
Association for Computational Linguistics
10–18
http://www.aclweb.org/anthology/W14-1402
inproceedings
grudzinska-zawadowski:2014:TTNLS
Monads as a Solution for Generalized Opacity
GianlucaGiorgolo
AshAsudeh
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
April
2014
Gothenburg, Sweden
Association for Computational Linguistics
19–27
http://www.aclweb.org/anthology/W14-1403
inproceedings
giorgolo-asudeh:2014:TTNLS
The Phenogrammar of Coordination
ChrisWorth
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
April
2014
Gothenburg, Sweden
Association for Computational Linguistics
28–36
http://www.aclweb.org/anthology/W14-1404
inproceedings
worth:2014:TTNLS
Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond
StergiosChatzikyriakidis
ZhaohuiLuo
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
April
2014
Gothenburg, Sweden
Association for Computational Linguistics
37–45
http://www.aclweb.org/anthology/W14-1405
inproceedings
chatzikyriakidis-luo:2014:TTNLS
A Type-Driven Tensor-Based Semantics for CCG
JeanMaillard
StephenClark
EdwardGrefenstette
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
April
2014
Gothenburg, Sweden
Association for Computational Linguistics
46–54
http://www.aclweb.org/anthology/W14-1406
inproceedings
maillard-clark-grefenstette:2014:TTNLS
From Natural Language to RDF Graphs with Pregroups
AntoninDelpeuch
AnnePreller
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
April
2014
Gothenburg, Sweden
Association for Computational Linguistics
55–62
http://www.aclweb.org/anthology/W14-1407
inproceedings
delpeuch-preller:2014:TTNLS
Incremental semantic scales by strings
TimFernando
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
April
2014
Gothenburg, Sweden
Association for Computational Linguistics
63–71
http://www.aclweb.org/anthology/W14-1408
inproceedings
fernando:2014:TTNLS
A Probabilistic Rich Type Theory for Semantic Interpretation
RobinCooper
SimonDobnik
ShalomLappin
StaffanLarsson
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
April
2014
Gothenburg, Sweden
Association for Computational Linguistics
72–79
http://www.aclweb.org/anthology/W14-1409
inproceedings
cooper-EtAl:2014:TTNLS
Probabilistic Type Theory for Incremental Dialogue Processing
JulianHough
MatthewPurver
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
April
2014
Gothenburg, Sweden
Association for Computational Linguistics
80–88
http://www.aclweb.org/anthology/W14-1410
inproceedings
hough-purver:2014:TTNLS
Propositions, Questions, and Adjectives: a rich type theoretic approach
JonathanGinzburg
RobinCooper
TimFernando
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
April
2014
Gothenburg, Sweden
Association for Computational Linguistics
89–96
http://www.aclweb.org/anthology/W14-1411
inproceedings
ginzburg-cooper-fernando:2014:TTNLS