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.

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

References in corpus (7)

• Braided spaces with dilations and sub-riemannian symmetric spaces
• Emergent algebras
• Contractible Lie groups over local fields
• Minimal generating sets of Reidemeister moves
• Knots as processes: a new kind of invariant
• The algebra of knotted trivalent graphs and Turaev's shadow world
• $\lambda$-Scale, a lambda calculus for spaces with dilations

Cited by in corpus (1)

• GLC actors, artificial chemical connectomes, topological issues and knots