Stergios Chatzikyriakidis, Zhaohui Luo. Proof Assistants for Natural Language Semantics. In Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré, editors, Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) - 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings. Volume 10054 of Lecture Notes in Computer Science, pages 85-98, 2016. [doi]
Abstract is missing.