22 citations · 216 across the 59 of their papers we have counts for
5 papers · 1 filter
Graph rewrites, from graphic lambda calculus, to chemlambda, to directed interaction combinators
Marius Buliga
Here I report about the modifications of and relations between graphic lambda calculus, various formalisms which appeared under the name chemlambda and a version of directed intera…
The em-convex rewrite system
Marius Buliga
We introduce and study em (or "emergent"), a lambda calculus style rewrite system inspired from dilations structures in metric geometry. Then we add a new axiom (convex) and explor…
Graphic lambda calculus
Marius Buliga
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 a…
Local and global moves on locally planar trivalent graphs, lambda calculus and -Scale
Marius Buliga
We give a description of local and global moves on a class of locally planar trivalent graphs and we show that it contains -Scale calculus, therefore in particular untyped lambd…
-Scale, a lambda calculus for spaces with dilations
Marius Buliga
-Scale is an enrichment of lambda calculus which is adapted to emergent algebras. It can be used therefore in metric spaces with dilations.