Natural Language Reasoning Using Proof-assistant Technology : Rich Typing and Beyond. / Chatzikyriakidis, Stergios; Luo, Zhaohui.

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

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

Published

Standard

Natural Language Reasoning Using Proof-assistant Technology : Rich Typing and Beyond. / Chatzikyriakidis, Stergios; Luo, Zhaohui.

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

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

Harvard

Chatzikyriakidis, S & Luo, Z 2014, Natural Language Reasoning Using Proof-assistant Technology: Rich Typing and Beyond. in Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS). https://doi.org/10.3115/v1/W14-1405

APA

Chatzikyriakidis, S., & Luo, Z. (2014). Natural Language Reasoning Using Proof-assistant Technology: Rich Typing and Beyond. In Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) https://doi.org/10.3115/v1/W14-1405

Vancouver

Chatzikyriakidis S, Luo Z. Natural Language Reasoning Using Proof-assistant Technology: Rich Typing and Beyond. In Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS). 2014 https://doi.org/10.3115/v1/W14-1405

Author

Chatzikyriakidis, Stergios ; Luo, Zhaohui. / Natural Language Reasoning Using Proof-assistant Technology : Rich Typing and Beyond. Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS). 2014.

BibTeX

@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)",

}

RIS

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 -