extpubs.bib

@string{Epmessage = "Read the README please!!!!!!!!!!!!!!"}
@STRING{ai    = "Artificial Intelligence"}
@STRING{mcgh	 = "McGraw-Hill"}
@STRING{jair  = "Journal of Artificial Intelligence Research"}
@STRING{kauf     = "Morgan Kaufmann"} 
@STRING{wil      = "Wiley"}
@STRING{spring   = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}

@incollection{paulinmohring:cic-intro,
  TITLE = {{Introduction to the Calculus of Inductive Constructions}},
  AUTHOR = {Paulin-Mohring, Christine},
  URL = {https://hal.inria.fr/hal-01094195},
  BOOKTITLE = {{All about Proofs, Proofs for All}},
  EDITOR = {Bruno Woltzenlogel Paleo and David Delahaye},
  PUBLISHER = {{College Publications}},
  SERIES = {Studies in Logic (Mathematical logic and foundations)},
  VOLUME = {55},
  YEAR = {2015},
  MONTH = Jan,
  KEYWORDS = {Coq proof assistant ; Calculus of Inductive Constructions},
  PDF = {https://hal.inria.fr/hal-01094195/file/CIC.pdf},
  HAL_ID = {hal-01094195},
  HAL_VERSION = {v1},
}

@inproceedings{wadler:theorems-for-free,
  author = {Wadler, Philip},
  title = {Theorems for Free!},
  year = {1989},
  isbn = {0897913280},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/99370.99404},
  doi = {10.1145/99370.99404},
  booktitle = {Proceedings of the Fourth International Conference on Functional Programming Languages and Computer Architecture},
  pages = {347–359},
  numpages = {13},
  location = {Imperial College, London, United Kingdom},
  series = {FPCA '89}
}

@article{coq:coq-coq-correct,
  author = {Sozeau, Matthieu and Boulier, Simon and Forster, Yannick and Tabareau, Nicolas and Winterhalter, Th\'{e}o},
  title = {Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq},
  year = {2019},
  issue_date = {January 2020},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {4},
  number = {POPL},
  url = {https://doi.org/10.1145/3371076},
  doi = {10.1145/3371076},
  journal = {Proc. ACM Program. Lang.},
  month = dec,
  articleno = {8},
  numpages = {28},
  keywords = {certification, proof assistants, type checker}
}

@INPROCEEDINGS{SchSar:structurallogrel,
  author={C. {Schürmann} and J. {Sarnat}},
  booktitle={2008 23rd Annual IEEE Symposium on Logic in Computer Science},
  title={Structural Logical Relations},
  year={2008},
  pages={69-80},
  doi={10.1109/LICS.2008.44},
  url={https://core.ac.uk/download/pdf/189668382.pdf},
  urldate = {2020-01-26}}

@article{Goedel:zia32,
  journal = {Anzeiger der Akademie der Wissenschaften in Wien},
  pages = {65--66},
  volume = {69},
  year = {1932},
  author = {Kurt G{\"o}del},
  title = {Zum Intuitionistischen Aussagenkalk\"ul}
}
@book{HugCre:acml84,
  author = {G. E. Hughes and M. M. Cresswell},
  title = {A companion to Modal Logic},
  series = {University Paperbacks},
  publisher = {Methuen},
  year = {1984}}

@book{Stalnaker:c14,
  author = {Stalnaker, Robert},
  year = {2014},
  title = {Context},
  publisher = {Oxford University Press}}

@book{Saeed:s03,
  author = {Saeed, John I.},
  year = {2003},
  title = {Semantics},
  edition = {2nd},
  publisher = {Blackwell}}
  
@book{Portner:wimffs04,
  author = {Portner, Paul},
  year = {2004},
  title = {What is Meaning? Fundamentals of Formal Semantics},
  publisher = {Blackwell}}
  
@book{Kearns:s11,
  author = {Kearns, Kate},
  year = {2011},
  title = {Semantics},
  edition = {2nd},
  publisher = {Palgrave Macmillan}}
  
@book{Jackendoff:sac83,
  author = {Jackendoff, Ray},
  year = {1983},
  title = {Semantics and Cognition},
  publisher = {MIT Press}}
  
@book{Cruse:milisp11,
  author = {Cruse, Alan},
  year = {2011},
  title = {Meaning in Language: An Introduction to Semantics and Pragmatics},
  series = {Oxford Textbooks in Linguistics},
  publishers = {OUP}}
  
@book{Ariel:dp10,
  author = {Ariel, Mira},
  year = {2010},
  title = {Defining Pragmatics},
  series = {Research Surveys in Linguistics},
  publisher = {Cambridge University Press}}
  
@book{ZimSte:its13,
  author = {Zimmermann, Thomas Ede and Wolfgang Sternefeld},
  year = {2013},
  title = {Introduction to Semantics},
  publisher = {de Gruyter Mouton}}

@book{Riemer:is10,
  author = {Riemer, Nick},
  year = {2010},
  title = {Introducing Semantics},
  series = {Cambridge Introductions to Language and Linguistics},
  publisher = {Cambridge University Press}}
  
@book{Birner:itp13,
  author = {Birner, Betty J.},
  year = {2013},
  title = {Introduction to Pragmatics},
  publisher = {Wiley-Blackwell}}
  
@book{HurHeaSmi:sac07,
  author = {Hurford, James R. and Brendan Heasley and Michael B. Smith},
  year = {2007},
  title = {Semantics: A coursebook},
  edition = {2nd},
  publisher = {Cambridge University Press}}
  
@book{CanKemGre:siml,
  author = {Cann, Ronnie and Kempson, Ruth and Gregoromichelaki, Eleni},
  title = {Semantics -- An Introduction to Meaning in Language},
  publisher = {Cambridge University Press},
  year = {2009},
  isbn = {0521819628}}
  
@inproceedings{levesque2012winograd,
  title={The {Winograd} Schema Challenge},
  author={Levesque, Hector and Davis, Ernest and Morgenstern, Leora},
  booktitle={Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning},
  year={2012}}

@online{standlone:ctan:on,
  author = {Martin Scharrer},
  title = {\texttt{standalone} -- Compile {\TeX} pictures stand-alone or as part of a document},
  url = {https://ctan.org/pkg/standalone},
  urldate = {2020-10-16}}
  
@online{LabelMe:on,
  label = {LM},
  title = {{LabelMe}: the open annotation tool},
  url = {http://labelme.csail.mit.edu},
  urldate = {2020-08-28}}
  
@online{lod-cloud:on,
  label = {LOD},
  title = {The Linked Open Data Cloud},
  url = {https://lod-cloud.net/},
  urldate = {2020-08-19}}
  
@online{glforthel:on,
  title = {{GLForTheL} -- Implementing ForTheL in GLF},
  label = {GLF},
  url = {https://gl.mathhub.info/comma/glforthel},
  urldate = {2020-08-06}}

@inproceedings{kofler2012dyngenpar,
  title = {DynGenPar--a dynamic generalized parser for common mathematical language},
  author = {Kofler, Kevin and Neumaier, Arnold},
  pages = {386--401},
  crossref = {CICM12}}