Search results

0568686 - FLÚ 2023 RIV GB eng M - Monography Chapter
Pezlar, Ivo
Going Nowhere and Back. Is Trivialization the Same as Zero Execution?
Logically Speaking. A Festschrift for Marie Duží. London: College Publications, 2022 - (Materna, P.; Jespersen, B.), s. 187-202. Tributes, 49. ISBN 978-1-84890-419-4
Grant - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : transparent intensional logic * execution construction * trivialization construction * procedural semantics
OECD category: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/tributes/?00049
Permanent Link: https://hdl.handle.net/11104/0339997