Number of the records: 1
On Two Notions of Computation in Transparent Intensional Logic
- 1.0504567 - FLÚ 2020 RIV NL eng J - Journal Article
Pezlar, Ivo
On Two Notions of Computation in Transparent Intensional Logic.
Axiomathes. Roč. 29, č. 2 (2019), s. 189-205. ISSN 1122-1151
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : Transparent intensional logic * Procedural semantics * Lambda calculus * Term rewriting * Term interpretation
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://link.springer.com/article/10.1007%2Fs10516-018-9401-7
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.
Permanent Link: http://hdl.handle.net/11104/0296171
Number of the records: 1