My Profile Photo

All The Language

Welcome! I'm Pepijn. I study natural language, programming languages and logical languages. Basically, all the language...


[7] Pepijn Kokke. Strong and weak quantifiers in focused NLCL. In Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996--2016), pages 134--148. Springer Nature, December 2016. [ http ]
[6] Pepijn Kokke. NLQ: a modular type-logical grammar for quantifier movement, scope islands, and more. Master's thesis, Utrecht Universiy, February 2016. [ http ]
[5] Pepijn Kokke. Formalising type-logical grammar in agda. Paper presented at TYTLES 2015, as part of ESSLLI, Barcelona, 2015. [ .pdf ]
[4] Pepijn Kokke and Wouter Swierstra. Auto in agda. In Ralf Hinze and Janis Voigtländer, editors, Mathematics of Program Construction, volume 9129 of Lecture Notes in Computer Science, pages 276--301. Springer International Publishing, 2015. [ http ]
[3] Assaf Toledo, Stavroula Alexandropoulou, Sophie Chesney, Robert Grimm, Pepijn Kokke, Benno Kruit, Kyriaki Neophytou, Antony Nguyen, and Yoad Winter. A proof-based annotation platform of textual entailment. In Proceedings 10th Joint ISO - ACL SIGSEM Workshop on Interoperable Semantic Annotation, pages 21--24, Reykjavik, Iceland, May 2014. Association for Computational Linguistics. [ http ]
[2] Assaf Toledo, Stavroula Alexandropoupou, Sophie Chesney, Sophia Katrenko, Heidi Klockmann, Pepijn Kokke, Benno Kruit, and Yoad Winter. Towards a semantic model for textual entailment. In Perspectives on Semantic Representations for Textual Inference, volume 9, pages 117--150. Linguistic Issues in Language Technology, 2014. [ http ]
[1] Assaf Toledo, Stavroula Alexandropoulou, Sophia Katrenko, Heidi Klockmann, Pepijn Kokke, and Yoad Winter. Semantic annotation of textual entailment. In Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013) -- Long Papers, pages 240--251, Potsdam, Germany, March 2013. Association for Computational Linguistics. [ http ]