Graphic lambda calculus
classification
💻 cs.LO
math.GTmath.LO
keywords
calculuslambdagraphicrepresentingusedalgebrascomputationsdiagrams
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.