Natural Language Reasoning Using Proof-assistant Technology: Rich Typing and Beyond

Stergios Chatzikyriakidis, Zhaohui Luo

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Original languageEnglish
Title of host publicationProceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
DOIs
Publication statusPublished - 2014

Cite this