图重写：从图形λ演算到chemlambda再到有向交互组合子
计算机科学中的逻辑
2020-07-21 v1 逻辑
摘要
在此，我报告了图形λ演算、以chemlambda为名出现的各种形式化以及有向交互组合子某一版本之间的修改与关系。这是对人工化学chemlambda的研究与实验，以及其与λ演算或交互组合子关系的一部分，如arXiv:2003.14332所述，并可从入口页https://chemlambda.github.io/index.html获取。
引用
@article{arxiv.2007.10288,
title = {Graph rewrites, from graphic lambda calculus, to chemlambda, to directed interaction combinators},
author = {Marius Buliga},
journal= {arXiv preprint arXiv:2007.10288},
year = {2020}
}
备注
arXiv admin note: text overlap with arXiv:2003.14332