Currying Order and Restricted Algorithmic Beta-Conversion in Type Theory of Acyclic Recursion. In: Materna P. and Jespersen B. (eds). Logically Speaking. A Festschrift for Marie Duží. Book Tribute. 2022. Volume~49. pp.~285--310. College Publications

Autor:	Roussanka Loukanova
Jazyk:	angličtina
Rok vydání:	2022
DOI:	10.13140/rg.2.2.34553.75365
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::8151016acfb8ec50675179c892e834b7 Zobrazit plný text záznamu