pdf bibTranslating a Fragment of Natural Deduction System for Natural Language into Modern Type TheoryIvo PezlarProceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures