README.bib

@incollection{kiselyov2014,
  doi       = {10.1007/978-94-017-8813-7_6},
  url       = {http://dx.doi.org/10.1007/978-94-017-8813-7_6},
  year      = {2014},
  publisher = {Springer Science + Business Media},
  pages     = {105--134},
  author    = {Oleg Kiselyov and Chung-chieh Shan},
  title     = {Continuation Hierarchy and Quantifier Scope},
  booktitle = {Studies in Linguistics and Philosophy}
}
@incollection{bod2008,
  doi       = {10.1007/978-3-540-78293-3_7},
  url       = {http://dx.doi.org/10.1007/978-3-540-78293-3_7},
  year      = {2008},
  publisher = {Springer Science + Business Media},
  pages     = {307--348},
  author    = {Bod, Rens},
  title     = {The Data-Oriented Parsing Approach: Theory and Application},
  booktitle = {Studies in Computational Intelligence}
}
@book{bod1998,
  title     = {Beyond Grammar: An Experience-Based Theory of Language},
  author    = {Bod, Rens},
  year      = {1998},
  publisher = {CSLI Publications/The University of Chicago Press},
  isbn      = {1-57586-150-X},
}
@article{lambek1958,
  title        = {The Mathematics of Sentence Structure},
  author       = {Lambek, Joachim},
  journal      = {The American Mathematical Monthly},
  volume       = {65},
  number       = {3},
  pages        = {pp. 154-170},
  ISSN         = {00029890},
  language     = {English},
  year         = {1958},
  publisher    = {Mathematical Association of America},
  copyright    = {Copyright © 1958 Mathematical Association of America},
}
@article{lambek1961,
  title        = {On the calculus of syntactic types},
  author       = {Lambek, Joachim},
  journal      = {Structure of language and its mathematical aspects},
  volume       = {166},
  pages        = {C178},
  year         = {1961},
  publisher    = {Providence, RI: American Mathematical Society}
}
@article{andreoli1992,
  author    = {Jean{-}Marc Andreoli},
  title     = {Logic Programming with Focusing Proofs in Linear Logic},
  journal   = {J. Log. Comput.},
  volume    = {2},
  number    = {3},
  pages     = {297--347},
  year      = {1992},
  url       = {http://dx.doi.org/10.1093/logcom/2.3.297},
  doi       = {10.1093/logcom/2.3.297},
  timestamp = {Wed, 29 Jun 2011 15:52:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/Andreoli92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{andreoli2001,
  author    = {Jean{-}Marc Andreoli},
  title     = {Focussing and proof construction},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {107},
  number    = {1-3},
  pages     = {131--163},
  year      = {2001},
  url       = {http://dx.doi.org/10.1016/S0168-0072(00)00032-4},
  doi       = {10.1016/S0168-0072(00)00032-4},
  timestamp = {Fri, 01 Jul 2011 13:42:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/apal/Andreoli01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{laurent2004,
  title        = {A proof of the focalization property of linear logic},
  author       = {Laurent, Olivier},
  journal      = {Unpublished note, May},
  year         = {2004}
}
@inproceedings{morrill2015,
  author    = {Glyn Morrill and
               Oriol Valent{\'{\i}}n},
  title     = {Multiplicative-Additive Focusing for Parsing as Deduction},
  booktitle = {Proceedings First International Workshop on Focusing, WoF'15 2015,
               Suva, Fiji, 23rd November 2015.},
  pages     = {29--54},
  year      = {2015},
  crossref  = {DBLP:journals/corr/CervesatoS15},
  url       = {http://dx.doi.org/10.4204/EPTCS.197.4},
  doi       = {10.4204/EPTCS.197.4},
  timestamp = {Wed, 02 Dec 2015 15:57:04 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/MorrillV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{kiselyov2013,
  author    = {Oleg Kiselyov and
               Amr Sabry and
               Cameron Swords},
  title     = {Extensible effects: an alternative to monad transformers},
  booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} Symposium on Haskell, Boston,
               MA, USA, September 23-24, 2013},
  pages     = {59--70},
  year      = {2013},
  crossref  = {DBLP:conf/haskell/2013},
  url       = {http://doi.acm.org/10.1145/2503778.2503791},
  doi       = {10.1145/2503778.2503791},
  timestamp = {Thu, 19 Sep 2013 11:34:51 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/haskell/KiselyovSS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{shan2002,
  author    = {Chung{-}chieh Shan},
  title     = {Monads for natural language semantics},
  journal   = {CoRR},
  volume    = {cs.CL/0205026},
  year      = {2002},
  url       = {http://arxiv.org/abs/cs.CL/0205026},
  timestamp = {Mon, 05 Dec 2011 18:03:16 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/cs-CL-0205026},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{moortgat2010,
  title        = {Categorial Type Logics},
  author       = {Moortgat, Michael},
  journal      = {Handbook of logic and language},
  pages        = {95},
  year         = {2010},
  publisher    = {Elsevier}
}