@Book{TTNLS:2014,
  editor    = {Robin Cooper  and  Simon Dobnik  and  Shalom Lappin  and  Staffan Larsson},
  title     = {Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  url       = {http://www.aclweb.org/anthology/W14-14}
}

@InProceedings{ranta:2014:TTNLS,
  author    = {Ranta, Aarne},
  title     = {Types and Records for Predication},
  booktitle = {Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {1--9},
  url       = {http://www.aclweb.org/anthology/W14-1401}
}

@InProceedings{grudzinska-zawadowski:2014:TTNLS,
  author    = {Grudzinska, Justyna  and  Zawadowski, Marek},
  title     = {System with Generalized Quantifiers on Dependent Types for Anaphora},
  booktitle = {Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {10--18},
  url       = {http://www.aclweb.org/anthology/W14-1402}
}

@InProceedings{giorgolo-asudeh:2014:TTNLS,
  author    = {Giorgolo, Gianluca  and  Asudeh, Ash},
  title     = {Monads as a Solution for Generalized Opacity},
  booktitle = {Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {19--27},
  url       = {http://www.aclweb.org/anthology/W14-1403}
}

@InProceedings{worth:2014:TTNLS,
  author    = {Worth, Chris},
  title     = {The Phenogrammar of Coordination},
  booktitle = {Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {28--36},
  url       = {http://www.aclweb.org/anthology/W14-1404}
}

@InProceedings{chatzikyriakidis-luo:2014:TTNLS,
  author    = {Chatzikyriakidis, Stergios  and  Luo, Zhaohui},
  title     = {Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond},
  booktitle = {Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {37--45},
  url       = {http://www.aclweb.org/anthology/W14-1405}
}

@InProceedings{maillard-clark-grefenstette:2014:TTNLS,
  author    = {Maillard, Jean  and  Clark, Stephen  and  Grefenstette, Edward},
  title     = {A Type-Driven Tensor-Based Semantics for CCG},
  booktitle = {Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {46--54},
  url       = {http://www.aclweb.org/anthology/W14-1406}
}

@InProceedings{delpeuch-preller:2014:TTNLS,
  author    = {Delpeuch, Antonin  and  Preller, Anne},
  title     = {From Natural Language to RDF Graphs with Pregroups},
  booktitle = {Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {55--62},
  url       = {http://www.aclweb.org/anthology/W14-1407}
}

@InProceedings{fernando:2014:TTNLS,
  author    = {Fernando, Tim},
  title     = {Incremental semantic scales by strings},
  booktitle = {Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {63--71},
  url       = {http://www.aclweb.org/anthology/W14-1408}
}

@InProceedings{cooper-EtAl:2014:TTNLS,
  author    = {Cooper, Robin  and  Dobnik, Simon  and  Lappin, Shalom  and  Larsson, Staffan},
  title     = {A Probabilistic Rich Type Theory for Semantic Interpretation},
  booktitle = {Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {72--79},
  url       = {http://www.aclweb.org/anthology/W14-1409}
}

@InProceedings{hough-purver:2014:TTNLS,
  author    = {Hough, Julian  and  Purver, Matthew},
  title     = {Probabilistic Type Theory for Incremental Dialogue Processing},
  booktitle = {Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {80--88},
  url       = {http://www.aclweb.org/anthology/W14-1410}
}

@InProceedings{ginzburg-cooper-fernando:2014:TTNLS,
  author    = {Ginzburg, Jonathan  and  Cooper, Robin  and  Fernando, Tim},
  title     = {Propositions, Questions, and Adjectives: a rich type theoretic approach},
  booktitle = {Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {89--96},
  url       = {http://www.aclweb.org/anthology/W14-1411}
}