Počet záznamů: 1

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

SYSNO	0508521
Název	Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
Tvůrce(i)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Zdroj.dok.	IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures: Proceedings of the Workshop. S. 10-18. - Stroudsburg (PA) : Association for Computational Linguistics, 2019 / Osswald Rainer ; Retoré Christian ; Sutton Peter
Konference	Workshop on Computing Semantics with Types, Frames and Related Structures, 23.05.2019 - 27.05.2019, Gothenburg
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GA19-12420S GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	FLU-F - RVO:67985955
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	proof theoretic semantics * modern type theory * natural language semantics
URL	https://www.aclweb.org/anthology/W19-1002/
Trvalý link	http://hdl.handle.net/11104/0299547

Počet záznamů: 1