2000 character limit reached
Graphic lambda calculus and knot diagrams
Published 7 Nov 2012 in math.GT, cs.LO, and math.LO | (1211.1604v1)
Abstract: In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as macros over the graphic lambda calculus.
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.
