Local and global moves on locally planar trivalent graphs, lambda calculus and $\lambda$-Scale
Logic in Computer Science
2012-07-03 v1 Geometric Topology
Logic
Abstract
We give a description of local and global moves on a class of locally planar trivalent graphs and we show that it contains -Scale calculus, therefore in particular untyped lambda calculus. Surprisingly, the beta reduction rule comes from a local "sewing" transformation of trivalent locally planar graphs.
Cite
@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}
}