论图形 lambda 演算与图形 beta 移动的对偶
几何拓扑
2013-02-05 v1 计算机科学中的逻辑
逻辑
摘要
本文简要描述了图形 lambda 演算，特别强调了由结图在图形 lambda 演算的 lambda 演算部分和涌现代数部分中的两种不同 appearance 所暗示的一种对偶性。这种对偶性导致了图形 beta 移动的对偶的引入。虽然图形 beta 移动对应于无类型 lambda 演算中的 beta 归约，但对偶图形 beta 移动则出现在与涌现代数相关的语境中。
引用
@article{arxiv.1302.0778,
title = {On graphic lambda calculus and the dual of the graphic beta move},
author = {Marius Buliga},
journal= {arXiv preprint arXiv:1302.0778},
year = {2013}
}