Publications 
A. Monographs
  1. Chatzikyriakidis, S. and Luo, Z. Formal Semantics in Modern Type Theories. ISTE/Wiley Science. To appear in 2020. 

B. Edited Books/Journal Issues
  1. Chatzikyriakidis S. and Luo Z. (eds.), 2017.  Modern Perspectives in Type-Theoretical Semantics. Studies in Linguistics and Philosophy, Springer.
  2. Chatzikyriakidis S. Retoré C. and Pasquali F. (eds), 2017. Hilbert's Epsilon Calculus and Lexical Semantics. Edited journal volume in the  Journal of Logics and Their Applications [pdf]

C. Journal papers
  1. Xue, T.,  Luo, Z. and Chatzikyriakidis S.  Propositional Forms of Judgemental Interpretations. Submitted.  [pdf]
  2. Bernardy, J.P and Chatzikyriakidis S. and Maskharashvili A. A Computational Treatment of Anaphora and its Algorithmic Implementation. Under Review. [pdf]
  3. Chatzikyriakidis, S. Underspecification, Parsing Mismatches and Routinization: The Historical Development of the clitic systems of Greek dialects. Accepted with minor revisions at the Journal of Language, Logic and Information, special issue on Dynamic Syntax. [pdf]
  4. Gregoromichelaki, E., Mills, G. Howes, C., Eshghi, A., Chatzikyriakidis, S., Purver, M., Kempson R., Cann, R. and Healey, P. Completability vs (In)completeness. To appear in Acta Linguistica Hafniensia. [pdf] 
  5. Qwaider, C.,  Saad, M.,  Chatzikyriakidis, S. and Dobnik S. 2018. A Lexical Distance Study of Arabic Dialects. Procedia Computer Science 142, 2-13. [link]
  6. Chatzikyriakidis, S. and Luo, Z. Identity Criteria of Common Nouns and Dot-types for Copredication. Oslo Studies in Language 10(2), 121-141. [pdf]
  7. Chatzikyriakidis, S. and Gibson H. 2017. The Bantu/Romance/Greek Connection Revisited: Processing Constraints in Auxiliary and Clitic Placement from a Cross-linguistic Perspective.  Glossa 2(1), 1-39. [pdf]
  8. Chatzikyriakidis, S., Pasquali F. and Retoré C., 2017. From logical and linguistic generics to Hilbert's tau and epsilon quantifiers​. Journal of Logics and their Applications 4 (2), 231-256. [pdf]
  9. Chatzikyriakidis, S., Lafourcade, M., Ramadier, L. and Zarrouk, M., 2017.  Modern Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems.  Journal of Language Modelling, 5(2), 229-272. [pdf]
  10. Chatzikyriakidis, S. and Luo, Z. 2017 Adjectival/adverbial modification: The view from modern type theories. Journal of Logic, Language and Information 26 (1), 45-88. [pdf]
  11. Chatzikyriakidis, S. 2016. Afterthoughts in Greek: Gender Mismatches Under a Dynamic Framework. Journal of Linguistics 53(2), 279-325. [pdf] 
  12. Kempson R., Ronnie, C., Gregoromichelaki, E. and Chatzikyriakidis S. 2016. Languages as Mechanisms for Interaction. Theoretical Linguistics 42(3-4), 203-276. [pdf]
  13. Kempson, R, Chatzikyriakidis, S. and  Cann R. 2015. Mechanisms for Interaction: Syntax as Procedures for Online Interactive Meaning Building. Commentary to Christiansen and Chater : Now-or-Never: A Fundamental Constraint on Language.  Behavioral and Brain Sciences. [pdf]
  14. Chatzikyriakidis, S. and  Luo Z., 2014. Natural Language Inference in Coq. Journal of Logic, Language and Information 23(4):441-480. [pdf]
  15. Chatzikyriakidis, S. 2012. A Dynamic Account of the Cypriot Greek Clitic Positioning system. Lingua 122(6), 642-672. [link]
  16. Chatzikyriakidis, S. and Kempson, R., 2011. Standard Modern and Pontic Greek Person Restrictions: A feature-free Dynamic Account. Journal of Greek Linguistics 11(2), 127-166 [link]
  17. Chatzikyriakidis, S., 2009. Clitics in Grecia Salentina Greek : A Dynamic account. Lingua, 119: 1939-1968. Elsevier Publishing. [pdf] 

D. Book Chapters, Peer-Reviewed Conference Proceedings/Workshop Proceedings and Online Articles​
  1. ​Ek, E.,  Bernardy, JP and  Chatzikyriakidis S. forthcoming. How does Punctuation Affect Neural Models in Natural Language Inference. In proceedings of the Conference on Probability and Meaning, ACL anthology. [pdf]
  2. Qwaider, C.,  Saad, M.,  Chatzikyriakidis, S. and Dobnik S. and Johansson. R., 2020 An Arabic Tweets Sentiment Analysis Dataset (ATSAD) using Distant Supervision and Self Training. Proceedings  of the 4th Workshop on Open-Source Arabic Corpora and Processing Tools, LREC2020. [pdf]
  3. Bernardy, JP. and Chatzikyriakidis S., 2020. Improving the Precision of Natural Textual Entailment Problems. LREC2020, Marseille, France. [pdf] 
  4. Qwaider, C.,  Saad, M.,  Chatzikyriakidis, S. and Dobnik S., 2019 LSTM-CNN Deep Learning Model for Sentiment Analysis of Dialectal Arabic. Proceedings of ICALP2019 (CITALA). [pdf]
  5. Qwaider, C, Chatzikyriakidis, S. and Dobnik S., 2019. Can Modern Standard Arabic Approaches be Used for Arabic Dialects? Sentiment Analysis as a Case Study. Proceedings of the 3rd Workshop on Arabic Corpus Linguistics (WACL-3), Cardiff, UK. [link]
  6. Bernardy, JP., Blanck, R., Chatzikyriakidis, S., Lappin, S. and Maskharashvili A. 2019. Predicates as Boxes in Bayesian Semantics for Natural Language. Proceedings of NoDaLiDa 2019, Turku, Finland. [link]
  7. Bernardy, JP. and Chatzikyriakidis S., 2019. A Wide-Coverage Symbolic Natural Language Inference System. Proceedings of NoDaLiDa 2019, Turku, Finland. [pdf]
  8. Talman, A. and Chatzikyriakidis, S., 2019. Testing the Generalization Power of Neural Network Models Across NLI Benchmarks. Proceedings of the BlackboxNLP workshop, ACL2019. [pdf]
  9. JP. Bernardy, R. Blanck, S. Chatzikyriakidis, S. Lappin and Maskharashvili A., 2019. Bayesian Inference Semantics: A Modelling System and A Test Suite. Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics. [pdf]
  10. Bernardy, JP. and Chatzikyriakidis S., 2019. What kind of Natural Language Inference are NLP systems learning: Is this enough? Proceedings on the 11th International Conference on Agents and Artificial Intelligence, Special Session on Natural Language Processing in Artificial Intelligence.  [pdf]
  11. Qwaider, C.,  Saad, M.,  Chatzikyriakidis, S. and Dobnik S. 2018. A Lexical Distance Study of Arabic Dialects. Proceedings of the 2nd Conference on Arabic Computational Linguistics. [link]
  12. Bernardy, JP., Blanck, R.,  Chatzikyriakidis, S. and Lappin S. 2018. A Compositional Bayesian Semantics for Natural Language. Proceedings of the workshop on Language, Cognition and Computational Models, COLING 2018. [link]
  13. T. Xue, Z. Luo and S. Chatzikyriakidis. 2018b. Propositional Forms of Judgemental Interpretations. Proceedings of NLCS18 (affiliated with FLoC), Oxford. 2018. [pdf]
  14. Qwaider, C.,  Saad, M.,  Chatzikyriakidis, S. and Dobnik S. 2018. Shami: A Corpus of Levantine Arabic Dialects. Proceedings of LREC2018. [link]
  15. Chatzikyriakidis, S. and Luo, Z., 2017d. Identity Criteria of CNs: Quantfication and Copredication. Workshop on Approaches to Coercion and Polysemy. Oslo, 2017. [pdf]
  16. Bernardy, JP and Chatzikyriakidis S., 2017. A Type-Theoretical System for the FraCaS Test Suite: Grammatical Framework Meets Coq​. Proceedings of IWCS 2017, Montpellier, France. [pdf]​
  17. Kempson R., Ronnie, C., Gregoromichelaki, E. and Chatzikyriakidis S. 2017. Action-based Grammar. Reply to replies of "Language as Mechanisms for Interaction",  Theoretical Linguistics 42.
  18. Chatzikyriakidis, S., Cooper, R., Dobnik, S. and Larsson, S. 2017. An Overview of Natural Language Inference Data Collection: The Way Forward?. Proceedings of the IWCS2017 workshop on Computing Natural Language Inference. [pdf]
  19. Bizzoni, Y., Chatzikyriakidis, S. and Ghanimifard, M. 2017. "Deep Learning": Detecting Metaphoricity in Adjective-Noun Pairs. Proceedings of EMNLP2017, workshop on Stylistic Variation. [link]
  20. Chatzikyriakidis S. and Cooper R. Type Theories for Natural Language Semantics. Entry at the Oxford Reference Encyclopedia. [pdf] 
  21. Kempson, R., Chatzikyriakidis S. and Howes C. 2017. Cognitive science, Language as a Tool for Interaction, and a New Look at Language Evolution. Proceedings of the workshop on Formal Approaches to Linguistic Interaction, ESSLLI2017. [pdf]
  22. Chatzikyriakidis, S. and Luo, Z., 2016. Proof Assistants for Natural Language Semantics. Proceedings of LACL2016, LNCS. [pdf]
  23. Chatzikyriakidis, S. Natural Language Reasoning Using Coq: Interaction and Automation. Proceedings of TALN2015. [pdf]
  24. Chatzikyriakidis, S. and Luo, Z., 2015. Individuation Criteria, Dot-types and Co-predication: The view from Modern Type Theories. Proceedings of Mathematics of Language 2015, ACL anthology 2015. [pdf]
  25. Chatzikyriakidis, S. and Luo, Z. Introduction: Modern Perspectives in Type-Theoretical Semantics. In: Chatzikyriakidis S. and Luo Z. (eds.), Modern Perspectives in    Type-Theoretical Semantics: The State of the Art. Forthcoming. [pdf]
  26. Chatzikyriakidis, S. and Luo, Z. On the Interpretation of CNs: Types vs Predicates. In: Chatzikyriakidis S. and Luo Z. (eds.), Modern Perspectives in Type-Theoretical Semantics: The State of the Art. Forthcoming. [pdf]
  27. Chatzikyriakidis, S., Michelioudakis, D. and Spathas, G., 2015. Greek Focus operators and their associates. Proceedings of AMGL35 [pdf]. 
  28. Chatzikyriakidis, S., 2015. Polydefinites in Modern Greek: The Missink LINK. Proceedings of ICGL11. [pdf]
  29. Chatzikyriakidis, S. and Luo, Z., 2015. Using Signatures in Type Theory to Represent Situations. Post-proceedings of Logic and Engineering of Natural Language Semantics 11. LNAI, Springer. [pdf] 
  30. Chatzikyriakidis, S., 2014b. Adverbs in a Modern Type Theory. In Proceedings of LACL2014., LNCS 8535, 44-56. [pdf]
  31. Chatzikyriakidis, S. and  Luo Z., 2014 . Natural Language Reasoning Using Proof Technology: Rich Typing and Beyond. In proceedings of the EACL2014 workshop on Type Theory and Natural Language Semantics. [pdf]
  32. Chatzikyriakidis, S. and Luo, Z., 2013. An Account of Natural Language Coordination in Type Theory with Coercive Subtyping. CSLP 2012, LNCS 8114. [pdf]
  33. Chatzikyriakidis S. and Luo Z., 2013. Adjectives in a Modern Type-Theoretical Setting. In the proceedings of Formal Grammar 2013, Dusseldorf. LNCS 8036. [link]
  34. Chatzikyriakidis, S., 2013. Underspecification Restrictions in Polyrhythmic processing. In: Kempson, R. and Orwin, M.  and Howes, C. (Eds.), Language, Music and Interaction, College Publications. [pdf]
  35. Kempson R., Gregoromichelaki, E. and Chatzikyriakidis, S., 2013. Joint utterances in Greek and English: Implications for Linguistic Modelling. In: Stavrou, M.,       (ed), Proceedings of the 33rd Annual Meeting of the Department of Linguistics of Aristotle University, April 2012 [pdf]
  36. Chatzikyriakidis, S., 2011. A Dynamic Account of Clitic Climbing: A First Sketch. In: Kempson R.,  Gregoromichelaki, E.  and Howes, C.(eds), The Dynamics of Lexical    Interfaces, CSLI publications [pdf]. 
  37. Chatzikyriakidis, S. and Kempson, R., 2010a. A Dynamic Account of the Person Case Constraint in Greek. In: Proceedings of the 9th International Conference on Greek Linguistics, Chicago, October 2009. [pdf]
  38. Chatzikyriakidis, S., 2010. Clitic Climbing in Grecia Salentina Greek: A Dynamic Account. In: Ralli, A., and Karasimos, A., Proceedings of the 4th International Conference on Greek Dialects and Linguistic Theory, Chios, June 2009 [pdf].
  39. Bouzouita, M, and Chatzikyriakidis, S., 2009. Clitics as Calcified Processing Strategies. Proceedings of the 14th international conference on Lexical Functional Grammar, Cambridge, July 2009, CSLI publications [pdf]

E. Other Publications (presentations/workshops with peer-reviewed abstracts, working papers, peer reviewed posters, arXiv papers)
  1. Chatzikyriakidis, S. and Luo, Z. Gradability in MTT semantics. Thirteenth International Tbilisi Symposium on Language, Logic and Computation.
  2. Chatzikyriakidis, S. Constructive Dynamic Syntax. Presented at the 3rd Dynamic Syntax Conference, University of Malta, May 2019. 
  3. Bernardy, JP and Chatzikyriakidis S. 2018. A Corpus of Precise Natural Textual Entailment Problems. arXiv:1812.05813.
  4. Chatzikyriakidis, S. 2018. CoDyLan: Towards Doing (some) Inference for DyLan. Presented at the 2nd Dynamic Syntax Conference, University of Edinburgh, April 2018. [link]
  5. Chatzikyriakidis, S. 2017. Modification in Dynamic Syntax. Presented at the 1st Dynamic Syntax Conference, SOAS, University of London, April 2017. 
  6. Chatzikyriakidis, S.,  Michelioudakis, M. and Spathas, G. 2016. Prepositional genitives in Northern Greek beyond suppletion. Presented at the 7th International Conference on Modern Greek dialects and Linguistic Theory, Rethymnon, Greece. 
  7. Chatzikyriakidis, S. Languages as Mechanisms for Interaction: The Case of Weak Object Pronouns. INTERACTION2016 workshop, Ghent, June 2016.
  8. Chatzikyriakidis, S., Michelioudakis, M. and Spathas S. 2016. Promiscuous apo-phrases in Grevena Greek. Presented at the 12th International Conference on Greek Linguistics. [slides]
  9. Chatzikyriakidis, S.,  Michelioudakis, M. and Spathas, G. 2016. On the Syntax of Association with Focus in Greek. Presented at the 12th International Conference Greek Linguistics.
  10. Chatzikyriakidis, S., Lafourcade, M., Ramadier, L. and Zarrouk, M.  Modern Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems. TyTles workshop, ESSLLI2015. [pdf]
  11. Kempson R., Chatzikyriakidis S. and Cann R. The Interactive Building of Names. Epsilon Workshop electronic proceedings, Montpellier 2015 [pdf].
  12. Chatzikyriakidis, S., Gregoromichelaki, E. and  Kempson, R. Modelling shared constraints in language and music: polyrhythm processing in Dynamic Syntax.  Presented at the Shared Mechanisms in Language and Music – What Neurocognition and Disorders Reveal workshop, SMART Cognitive Science Conference, Amsterdam, March 2015 [slides]   [abstract]
  13. Sitaridou, I. and S Chatzikyriakidis S. Cultural Survival Shifts Focus: The Case of Pontic Greek. Presented at the panel entitled ‘When empires clash: modern-day outcomes of historical Greek and Turkish language encounters’, MedWorlds 4, 29 Mayis University, Istanbul 5-7/09/2012.
  14. Kempson R., Chatzikyriakidis S. and Orwin M. Language, Music and Interaction. Talk given at LAGB 2012. 
  15. Chatzikyriakidis, S. Clitic positioning in Cypriot Greek revisited: Complex Subordinators/Particles with tze. Poster presented at the 5th International Conference on Greek Dialects and Linguistic Theory, Ghent, September 2012. 
  16. Chatzikyriakidis, S. The Historical Development of the Clitic Systems of three Dialects of Modern Greek. Presented at the 20th International Conference on Historical Linguistics, Osaka, July 2011. [abstract]
  17. Chatzikyriakidis, S. Modern Greek Right Dislocations: The Case of Afterthoughts. Presented at the 20th International Symposium of Theoretical and Applied Linguistics, Thessaloniki, April 2011
  18. Chatzikyriakidis, S. Person Restrictions in Pontic Greek: Evidence for a feature-free account of the Person Case Constraint. Poster presented at the 10th International Conference on Greek Linguistics, Komotini, September 2011.  
  19. Kempson, R. and Chatzikyriakidis, S. The PCC as a Restriction on Tree-growth. Formal vs. Processing Explanations of Syntactic Phenomena conference, York,    April 2009.
  20. Chatzikyriakidis, S. Clitic Climbing: A Dynamic Account. Presented at LAGB 2009.
  21. Chatzikyriakidis, S. Clitic climbing in Grecia Salentina Greek: A Dynamic Syntax Account. GLOW summer school 2008, Barcelona.
  22. Chatzikyriakidis, S. A Dynamic Account of Clitics in Standard Modern and Grecia Salentina Greek. 3rd Postgraduate conference in Theoretical and Applied      Linguistics, Newcastle, 2008.

F. Invited Talks/Tutorials
  1. Chatzikyriakidis, S. To infer or not to Infer: Natural Language Inference, Computational Semantics, and Theoretical Linguistics. Semantics in Athens III. 
  2. Chatzikyriakidis, S. Formal Semantics in MTTs: Playing around with the Coq Proof Assistant. Invited tutorial at NASSLLI 2018. 
  3. Chatzikyriakidis, S. Formal Semantics in Modern Type Theories. Invited talk at NASSLLI 2018. 
  4. Chatzikyriakidis, S. A fragment answer inspired view of afterthoughts: gender mismatches in Greek. Talk given at the Linguistics Circle, University of Edinburgh, March 2018. [slides]
  5. Chatzikyriakidis, S. Coq for Natural Language Semantics. Three day invited tutorial  at the Center of Advanced Study, Oslo, November 2017.
  6. Cooper, R., Chatzikyriakidis, S. and Dobnik, S. Testing the FraCaS test suite. Co-author of an invited talk given by Robin Cooper and LENLS13, Tokyo, Novermber 2016. 
  7. Chatzikyriakidis S. Shared Mechanisms for Language and Music: The Case of Polyrhythms. Music and language in cross-cultural workshop, SOAS, London, February 2016. 
  8. Chatzikyriakidis S. Modern Type Theoretical Semantics: Reasoning Using Proof-Assistants. The 6th Annual CLT workshop. 
  9. Chatzikyriakidis, S., Gregoromichelaki, E. and Kempson, R. Language as a Set of Mechanisms for Interaction. Invited talk at the Interactive Meaning Construction workshop, IWCS, London, April 2015.
  10. Chatzikyriakidis, S. Using a Dependently Typed Interactive Theorem Prover to Seal with NL inference. Invited talk given at the Advanced Research Seminar in Language and Cognition, January 2013.
  11. Chatzikyriakidis, S. Underspecification Restrictions in Polyrhythmic Processing(?). Presented as part of the panel ‘Music, Language, and Interaction’ at the 4th Annual Conference of the Royal Musical Association, King’s College, London, July 2013.
  12. Kempson, R., and Chatzikyriakidis S. Grammars as Mechanisms for Real-Time Tree-Growth: Explaining Clitic Pronouns (Invited talk). Presented at CSLP12, Orleans
  13. Kempson R., Gregoromichelaki, E. and Chatzikyriakidis, S. Joint Utterances in Greek and English: Implications for Linguistic Modelling. Paper presented at the 33rd Annual Meeting of the Department of Linguistics of Aristotle University, April 2012.
  14. Chatzikyriakidis, S.. A strictly enclitic system: A first sketch of a Diachronic Account of the Pontic Greek clitic positioning system. Invited talk at the 2nd Romeyka workshop, Queen's college, Cambridge, April 2012.

G. Other Oral presentations and posters
  1. Chatzikyriakidis S. To Infer or not Infer: Natural Language Inference and Computational Semantics. Semantics in Athens III, 2019.
  2. Chatzikyriakidis S. Infer like a Human? NLP and the Challenge of Natural Language Inference. Invited talk at the University of Helsinki, Language Technology Research Seminar, September 2018. [link]
  3. Chatzikyriakidis, S. Proof Assistants to the Rescue. Invited talk at Semantics in Athens  2017, December 2017.
  4. Chatzikyriakidis, S. Modern Type Theoretical Semantics and Reasoning with Natural Language. Talk given at the Logic seminar, Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, November 2017.
  5. Chatzikyriakidis, S. In Defence of Lost Causes: Type Theories for Natural Language Semantics. Invited talk at the Semantics and Pragmatics Exchange SemPrE Group, Düsseldorf, June 2017.   
  6. Chatzikyriakidis, S. Natural Language Inference and Type Theory. Invited talk at the SFB Kolloquium at the University of Düsseldorf, June 2017.
  7. Chatzikyriakidis, S. Polydefinites in Greek: When Restrictive Interpretation fails. Invited talk at the Linguistics seminar of the English Department of Humboldt University, June 2016. 
  8. Chatzikyriakidis S. Modern Type Theoretical Semantics: Reasoning Using Proof Assistants. CLASP Seminar, March 9th, 2016 [slides].
  9. Chatzikyriakidis S. Natural Language Inference: Is Type Theory Relevant? Talk given at the Programming in Logic Seminar at Chalmers University, Gothenburg. 
  10. Kempson R., Chatzikyriakidis S, and Cann, R. The Interactive Building of names. SemDial 2015 (goDial) in Gothenborg, August 2015
  11. Chatzikyriakidis S. and Luo Z. Formal Semantics in Modern Type Theories: Theory and Implementation. Advanced course at ESSLLI2014 [slides]
  12. Chatzikyriakidis, S. Clitic positioning in Cypriot Greek revisited: Complex subordinators/particles with tze. Poster presented at the 5th International Conference on Greek Dialects and Linguistic Theory, Ghent, September 2012.
  13. Chatzikyriakidis, S. Person Restrictions in Pontic Greek: Evidence for a feature-free account of the Person Case Constraint. Poster presented at the 10th International Conference on Greek Linguistics, Komotini, September 2011.
  14. Chatzikyriakidis, S. Pontic Greek Person Restrictions: Evidence for a feature free account of the Person Case Constraint. Invited talk given at the two day conference in honour of Professor Ruth Kempson, SOAS, London, November 2010.
  15. Chatzikyriakidis, S. Clitic Clusters in Pontic Greek: A Dynamic Account. Poster presented at the 1st workshop on ‘The Greek Language in Pontus: Romeyka in contemporary Trebizond’. Queen’s College, Cambridge, March the 13th, 2010.
  16. Chatzikyriakidis, S. Clitics in Grecia Salentina Greek. The PCC fest, Queen Mary university, London, November 2007.
  17. Chatzikyriakidis, S. Standard Modern and Grecia Salentina Greek clitics: A Dynamic Account. Workshop on Greek clitic-pronoun variation, King’s College, London,  November 2007.

H. Thesis
  1. Chatzikyriakidis, S., 2010. Clitics in Four Dialects of Modern Greek: A Dynamic Account. PhD thesis, King's College, University of London. [pdf]  

I. Unpublished work 
  1. Chatzikyriakidis, S., 2011. Right Dislocations in Greek: The Case of Afterthoughts, manuscript. 
  2. Chatzikyriakidis, S., 2014. Polydefinites in Modern Greek: When Restrictive Interpretation Fails. Ms, LIRMM, University of Montpellier 2.[pdf]

J. Code
  1. Code for the paper "Bayesian Inference Semantics: A Modelling System and A Test Suite" [link]
  2. Code for the FraCoq project [link]
  3. Code for the paper "A Compositional Bayesian Semantics for Natural Language" [link]
  4. Link to the Shami corpus [link]
  5. Coq code for the tutorial Coq for Natural Language Semantics [link]
  6. Code for the paper "Deep Learning": Detecting Metaphoricity in Adjective-Noun Pairs" [link]
  7. Short Coq libraries for Natural Language Inference [link]

K. ESSLLI 2019 - Course materials "From Modern Type Theories to Montague Semantics: A Meaningful Comparison"
Lecture 1 - Introduction [pdf]
Lecture 2 - Features of MTT-semantics [pdf] 
Lecture 3 - Case Study 1: Modification [pdf]
Lecture 4 - Case Study 3: Copredication [pdf]
Lecture 5 - Dependent Types in Event Semantics [pdf]