TL;DR
Graphic lambda calculus is a visual language that represents untyped lambda calculus, emergent algebras, and Reidemeister moves, enabling diverse computational and topological applications.
Contribution
It introduces a unified visual framework for lambda calculus, emergent algebras, and knot theory moves, expanding the scope of graphical computation.
Findings
Successfully represents untyped lambda calculus visually
Applies to emergent algebras and Reidemeister moves
Provides a versatile graphical language for multiple mathematical domains
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Constraint Satisfaction and Optimization · Logic, Reasoning, and Knowledge