Počet záznamů: 1

On Two Notions of Computation in Transparent Intensional Logic

SYSNO	0504567
Název	On Two Notions of Computation in Transparent Intensional Logic
Tvůrce(i)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Zdroj.dok.	Axiomathes. Roč. 29, č. 2 (2019), s. 189-205. - : Springer
Druh dok.	Článek v odborném periodiku
Grant	GJ17-18344Y GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	FLU-F - RVO:67985955
Jazyk dok.	eng
Země vyd.	NL
Klíč.slova	Transparent intensional logic * Procedural semantics * Lambda calculus * Term rewriting * Term interpretation
URL	https://link.springer.com/article/10.1007%2Fs10516-018-9401-7
Trvalý link	http://hdl.handle.net/11104/0296171

Počet záznamů: 1