Počet záznamů: 1
On Two Notions of Computation in Transparent Intensional Logic
- 1.
SYSNO ASEP 0504567 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název On Two Notions of Computation in Transparent Intensional Logic Tvůrce(i) Pezlar, Ivo (FLU-F) ORCID, RID, SAI Zdroj.dok. Axiomathes. - : Springer - ISSN 1122-1151
Roč. 29, č. 2 (2019), s. 189-205Poč.str. 17 s. Forma vydání Tištěná - P Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova Transparent intensional logic ; Procedural semantics ; Lambda calculus ; Term rewriting ; Term interpretation Vědní obor RIV AA - Filosofie a náboženství Obor OECD Philosophy, History and Philosophy of science and technology CEP GJ17-18344Y GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora FLU-F - RVO:67985955 UT WOS 000462846500007 EID SCOPUS 85053438544 DOI 10.1007/s10516-018-9401-7 Anotace In Transparent Intensional Logic we can recognize two distinct notions of computation that loosely correspond to term rewriting and term interpretation as known from lambda calculus. Our goal will be to further explore these two notions and examine some of their properties. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2020 Elektronická adresa https://link.springer.com/article/10.1007%2Fs10516-018-9401-7
Počet záznamů: 1