Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory Ivo Pezlar author 2019-06 text Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures Rainer Osswald editor Christian Retoré editor Peter Sutton editor Association for Computational Linguistics Gothenburg, Sweden conference publication pezlar-2019-translating 10.18653/v1/W19-1002 https://aclanthology.org/W19-1002/ 2019-06 10 18