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