Graphic lambda calculus
Abstract
We introduce and study graphic lambda calculus, a visual language which can be used for representing untyped lambda calculus, but it can also be used for computations in emergent algebras or for representing Reidemeister moves of locally planar tangle diagrams.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2013
- DOI:
- 10.48550/arXiv.1305.5786
- arXiv:
- arXiv:1305.5786
- Bibcode:
- 2013arXiv1305.5786B
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Mathematics - Geometric Topology;
- Mathematics - Logic
- E-Print:
- v2: Minor typos and figure corrections in section 3. v1: Massive revision of all previous descriptions of graphic lambda calculus, based on arXiv:1207.0332 and arXiv:1302.0778, with a lot of material added and harmonized exposition