Graphic lambda calculus

zbMATH Open1357.03045arXiv1305.5786MaRDI QIDQ2965883FDOQ2965883

Authors: Marius Buliga 

Publication date: 3 March 2017

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.

Full work available at URL: https://arxiv.org/abs/1305.5786

Recommendations

• Matrix maps over planar near-rings
• A new graphical calculus of proofs
• Anagopos: a reduction graph visualizer for term rewriting and lambda calculus
• Proofs with graphs
• Reaction graph

Mathematics Subject Classification ID

Applications of graph theory (05C90) Combinatory logic and lambda calculus (03B40)

Cited In (5)

• Anagopos: a reduction graph visualizer for term rewriting and lambda calculus
• Graphic representation of linear recursive rules
• A mathematical picture language project
• Matrix maps over planar near-rings
• ``Viral Turing machines, computation from noise and combinatorial hierarchies

This page was built for publication: Graphic lambda calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2965883)