Počet záznamů: 1
Meaning and Computing: Two Approaches to Computable Propositions
- 1.
SYSNO 0546956 Název Meaning and Computing: Two Approaches to Computable Propositions Tvůrce(i) Pezlar, Ivo (FLU-F) ORCID, RID, SAI Zdroj.dok. Logic, Language, Information, and Computation, 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. S. 100-116. - Cham : Springer, 2021 / Silva Alexandra ; Wassermann Renata ; de Queiroz Ruy Konference WoLLIC 2021. Workshop on Logic, Language, Information, and Computation /27./, 05.10.2021 - 08.10.2021, online 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. DE Klíč.slova computable proposition * sense–denotation distinction * algorithmic theory of meaning * procedural semantics * constructive type theory * transparent intensional logic URL https://doi.org/10.1007/978-3-030-88853-4_7 Trvalý link http://hdl.handle.net/11104/0323337
Počet záznamů: 1