Počet záznamů: 1
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
- 1.0508521 - FLÚ 2020 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Pezlar, Ivo
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory.
IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures: Proceedings of the Workshop. Stroudsburg (PA): Association for Computational Linguistics, 2019 - (Osswald, R.; Retoré, C.; Sutton, P.), s. 10-18. ISBN 978-1-950737-25-3.
[Workshop on Computing Semantics with Types, Frames and Related Structures. Gothenburg (SE), 23.05.2019-27.05.2019]
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: proof theoretic semantics * modern type theory * natural language semantics
Obor OECD: Linguistics
https://www.aclweb.org/anthology/W19-1002/
Trvalý link: http://hdl.handle.net/11104/0299547
Počet záznamů: 1