图重写,从图形λ演算到chemlambda,再到有向交互组合子
Graph rewrites, from graphic lambda calculus, to chemlambda, to directed interaction combinators
摘要:
在这里,我报告的修改和图形λ演算之间的关系,各种形式主义下出现的名称chemlambda和一个版本的定向交互组合。这是人工化学chemlambda研究和实验的一部分,以及与λ演算或相互作用组合子的关系,如arXiv:2003.14332中所述,可从https://chemlambda.github.io/index.html的入口页面获取
英文摘要:
Here I report about the modifications of and relations between graphic lambda calculus, various formalisms which appeared under the name chemlambda and a version of directed interaction combinators. This is part of the study and experiments with the artificial chemistry chemlambda and the relations with lambda calculus or interaction combinators, as described in arXiv:2003.14332 and available from the entry page at https://chemlambda.github.io/index.html
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。