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]
@inproceedings{Chatzikyriakidis16,
title = {Proof Assistants for Natural Language Semantics},
author = {Stergios Chatzikyriakidis and Zhaohui Luo},
year = {2016},
doi = {10.1007/978-3-662-53826-5_6},
url = {http://dx.doi.org/10.1007/978-3-662-53826-5_6},
researchr = {https://researchr.org/publication/Chatzikyriakidis16},
cites = {0},
citedby = {0},
pages = {85-98},
booktitle = {Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) - 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings},
editor = {Maxime Amblard and Philippe de Groote and Sylvain Pogodalla and Christian Retoré},
volume = {10054},
series = {Lecture Notes in Computer Science},
isbn = {978-3-662-53825-8},
}