- Anthology ID:
- W19-1002
- Volume:
- Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures
- Month:
- June
- Year:
- 2019
- Address:
- Gothenburg, Sweden
- Venue:
- IWCS
- SIG:
- SIGSEM
- Publisher:
- Association for Computational Linguistics
- Note:
- Pages:
- 10–18
- Language:
- URL:
- https://aclanthology.org/W19-1002
- DOI:
- 10.18653/v1/W19-1002
- Cite (ACL):
- Ivo Pezlar. 2019. Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory. In Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures, pages 10–18, Gothenburg, Sweden. Association for Computational Linguistics.
- Cite (Informal):
- Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory (Pezlar, IWCS 2019)
- PDF:
- https://preview.aclanthology.org/auto-file-uploads/W19-1002.pdf