Graphic lambda calculus

MaRDI QIDQ2965883zbMATH OpenFDO

Authors Marius Buliga

Publication date 3 March 2017

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

Mathematics Subject Classification ID

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

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.

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

Cited in

(5)

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

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)