Basket

0508521 - FLÚ 2020 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : proof theoretic semantics * modern type theory * natural language semantics
OECD category: Linguistics
https://www.aclweb.org/anthology/W19-1002/
Permanent Link: http://hdl.handle.net/11104/0299547