Graphic lambda calculus
Published in arXiv (Cornell University) • May 24, 2013
NobleIDNI9P39W41R87S98
Authors:
Marius Buliga
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.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!