Ivo Pezlar

2019

pdf bib
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
Ivo Pezlar
Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures
Search
Co-authors
    Venues
    Fix author