@inproceedings{pezlar-2019-translating,
title = "Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory",
author = "Pezlar, Ivo",
editor = "Osswald, Rainer and
Retor{\'e}, Christian and
Sutton, Peter",
booktitle = "Proceedings of the {IWCS} 2019 Workshop on Computing Semantics with Types, Frames and Related Structures",
month = jun,
year = "2019",
address = "Gothenburg, Sweden",
publisher = "Association for Computational Linguistics",
url = "https://aclanthology.org/W19-1002",
doi = "10.18653/v1/W19-1002",
pages = "10--18",
}
Markdown (Informal)
[Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory](https://aclanthology.org/W19-1002) (Pezlar, CSTFRS 2019)
ACL