Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory

Ivo Pezlar |

Paper Details:

Month: June
Year: 2019
Location: Gothenburg, Sweden
Venue: IWCS | WS |
SIG: SIGSEM

Citations

URL

No Citations Yet

No URLs Found

Field Of Study

Language
English