Complex Systems

Graphic Lambda CalculusDownload PDF

Marius Buliga
Institute of Mathematics of the Romanian Academy
P.O. Box 1-764, RO 014700
Bucharest, Romania
Marius.Buliga@imar.ro

Abstract

Graphic lambda calculus, a visual language that can be used for representing untyped lambda calculus, is introduced and studied. It can also be used for computations in emergent algebras or for representing Reidemeister moves of locally planar tangle diagrams.