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

Stergios Chatzikyriakidis, Zhaohui Luo

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

Original language	English
Title of host publication	Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
DOIs	https://doi.org/10.3115/v1/W14-1405
Publication status	Published - 2014

Access to Document

@inbook{bf6ef33c4c2e43a18c6035bdbf5dcf42,

title = "Natural Language Reasoning Using Proof-assistant Technology: Rich Typing and Beyond",

author = "Stergios Chatzikyriakidis and Zhaohui Luo",

year = "2014",

doi = "10.3115/v1/W14-1405",

language = "English",

isbn = "978-1-937284-74-9",

booktitle = "Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)",

}

TY - CHAP

T1 - Natural Language Reasoning Using Proof-assistant Technology

T2 - Rich Typing and Beyond

AU - Chatzikyriakidis, Stergios

AU - Luo, Zhaohui

PY - 2014

Y1 - 2014

U2 - 10.3115/v1/W14-1405

DO - 10.3115/v1/W14-1405

M3 - Chapter (peer-reviewed)

SN - 978-1-937284-74-9

BT - Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)

ER -