All Title Author
Keywords Abstract

Mathematics  2013 

On graphic lambda calculus and the dual of the graphic beta move

Full-Text   Cite this paper   Add to My Lib


This is a short description of graphic lambda calculus, with special emphasis on a duality suggested by the two different appearances of knot diagrams, in lambda calculus and emergent algebra sectors of the graphic lambda calculus respectively. This duality leads to the introduction of the dual of the graphic beta move. While the graphic beta move corresponds to beta reduction in untyped lambda calculus, the dual graphic beta move appears in relation to emergent algebras.


comments powered by Disqus

Contact Us


微信:OALib Journal