@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://preview.aclanthology.org/Add-Cong-Liu-Florida-Atlantic-University-author-id/W19-1002/",
    doi = "10.18653/v1/W19-1002",
    pages = "10--18"
}