局部平面三价图上的局部与全局移动、λ演算与$\lambda$-Scale
计算机科学中的逻辑
2012-07-03 v1 几何拓扑
逻辑
摘要
我们给出了一类局部平面三价图上局部和全局移动的描述，并证明它包含-Scale演算，因此特别包含无类型λ演算。令人惊讶的是，β归约规则来自三价局部平面图的一个局部“缝合”变换。
引用
@article{arxiv.1207.0332,
title = {Local and global moves on locally planar trivalent graphs, lambda calculus and $\lambda$-Scale},
author = {Marius Buliga},
journal= {arXiv preprint arXiv:1207.0332},
year = {2012}
}