2000 character limit reached
Graphic lambda calculus
Published 24 May 2013 in cs.LO, math.GT, and math.LO | (1305.5786v2)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.