mbuliga

>What do you mean by "label" in the case of formality ? See about the CON node and rewrites here: https://docs.formality-lang.org/en/latest/theory/Formality-Net.html#rewrite-rules See also https://github.com/MaiaVictor/optlam

>In Formality, they represent the "kind" of the node (like "application"), so they do not label fans. This is false. Where do you read this? Surely not from the given...

>> (\a.aa)(\x.((\b.bb)(\y.yx))), what gives under your algorithm? >That's interesting, I think this is a counter example! The steps 9-12 give me `(d->d d) (d->d d)`, but then step 13 is...

Hi, these are slides for a talk I gave recently, which explain why this subject is interesting for me. https://mbuliga.github.io/emergent-10-years/presentation.html Best regards, Marius ----- Original Message ----- From: HerrmannM To:...

Hi, I made a landing page for all chemlambda projects here https://chemlambda.github.io/index.html

I just found this issue, thank you for interest. There is now a new page of experiments and technical notes on chemlambda: https://chemlambda.github.io/index.html which I hope can answer many questions....

Oh thank you. I'm more into applied biochemistry. Many links are available from the page of chemlambda, but maybe relevant for the situation we are in now is this short...

As long as your GRS is restricted to tree traphs, it is indeed equivalent with a TRS, where you translate terms to their AST. But what if the GRS does...

I agree, these GRS are not for humans, they are for machines or for understanding nature (biochemistry in this case). On the other hand, at first there were only (few)...

> I'm not sure if the way i put it is extremely clear though :) but it's something that is bugging me or obsessing me for while and i can't...