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 editor Simon Dobnik editor Shalom Lappin editor Staffan Larsson editor 2014-04 Association for Computational Linguistics Gothenburg, Sweden text conference publication ws-2014-eacl-2014-type https://aclanthology.org/W14-1400/ Types and Records for Predication Aarne Ranta author 2014-04 text Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) Robin Cooper editor Simon Dobnik editor Shalom Lappin editor Staffan Larsson editor Association for Computational Linguistics Gothenburg, Sweden conference publication ranta-2014-types 10.3115/v1/W14-1401 https://aclanthology.org/W14-1401/ 2014-04 1 9 System with Generalized Quantifiers on Dependent Types for Anaphora Justyna Grudzińska author Marek Zawadowski author 2014-04 text Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) Robin Cooper editor Simon Dobnik editor Shalom Lappin editor Staffan Larsson editor Association for Computational Linguistics Gothenburg, Sweden conference publication grudzinska-zawadowski-2014-system 10.3115/v1/W14-1402 https://aclanthology.org/W14-1402/ 2014-04 10 18 Monads as a Solution for Generalized Opacity Gianluca Giorgolo author Ash Asudeh author 2014-04 text Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) Robin Cooper editor Simon Dobnik editor Shalom Lappin editor Staffan Larsson editor Association for Computational Linguistics Gothenburg, Sweden conference publication giorgolo-asudeh-2014-monads 10.3115/v1/W14-1403 https://aclanthology.org/W14-1403/ 2014-04 19 27 The Phenogrammar of Coordination Chris Worth author 2014-04 text Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) Robin Cooper editor Simon Dobnik editor Shalom Lappin editor Staffan Larsson editor Association for Computational Linguistics Gothenburg, Sweden conference publication worth-2014-phenogrammar 10.3115/v1/W14-1404 https://aclanthology.org/W14-1404/ 2014-04 28 36 Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond Stergios Chatzikyriakidis author Zhaohui Luo author 2014-04 text Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) Robin Cooper editor Simon Dobnik editor Shalom Lappin editor Staffan Larsson editor Association for Computational Linguistics Gothenburg, Sweden conference publication chatzikyriakidis-luo-2014-natural 10.3115/v1/W14-1405 https://aclanthology.org/W14-1405/ 2014-04 37 45 A Type-Driven Tensor-Based Semantics for CCG Jean Maillard author Stephen Clark author Edward Grefenstette author 2014-04 text Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) Robin Cooper editor Simon Dobnik editor Shalom Lappin editor Staffan Larsson editor Association for Computational Linguistics Gothenburg, Sweden conference publication maillard-etal-2014-type 10.3115/v1/W14-1406 https://aclanthology.org/W14-1406/ 2014-04 46 54 From Natural Language to RDF Graphs with Pregroups Antonin Delpeuch author Anne Preller author 2014-04 text Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) Robin Cooper editor Simon Dobnik editor Shalom Lappin editor Staffan Larsson editor Association for Computational Linguistics Gothenburg, Sweden conference publication delpeuch-preller-2014-natural 10.3115/v1/W14-1407 https://aclanthology.org/W14-1407/ 2014-04 55 62 Incremental semantic scales by strings Tim Fernando author 2014-04 text Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) Robin Cooper editor Simon Dobnik editor Shalom Lappin editor Staffan Larsson editor Association for Computational Linguistics Gothenburg, Sweden conference publication fernando-2014-incremental 10.3115/v1/W14-1408 https://aclanthology.org/W14-1408/ 2014-04 63 71 A Probabilistic Rich Type Theory for Semantic Interpretation Robin Cooper author Simon Dobnik author Shalom Lappin author Staffan Larsson author 2014-04 text Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) Robin Cooper editor Simon Dobnik editor Shalom Lappin editor Staffan Larsson editor Association for Computational Linguistics Gothenburg, Sweden conference publication cooper-etal-2014-probabilistic 10.3115/v1/W14-1409 https://aclanthology.org/W14-1409/ 2014-04 72 79 Probabilistic Type Theory for Incremental Dialogue Processing Julian Hough author Matthew Purver author 2014-04 text Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) Robin Cooper editor Simon Dobnik editor Shalom Lappin editor Staffan Larsson editor Association for Computational Linguistics Gothenburg, Sweden conference publication hough-purver-2014-probabilistic 10.3115/v1/W14-1410 https://aclanthology.org/W14-1410/ 2014-04 80 88 Propositions, Questions, and Adjectives: a rich type theoretic approach Jonathan Ginzburg author Robin Cooper author Tim Fernando author 2014-04 text Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) Robin Cooper editor Simon Dobnik editor Shalom Lappin editor Staffan Larsson editor Association for Computational Linguistics Gothenburg, Sweden conference publication ginzburg-etal-2014-propositions 10.3115/v1/W14-1411 https://aclanthology.org/W14-1411/ 2014-04 89 96