Naming

[VictorTaelin]

If anyone has a suggestion for a better name (since Abstract Calculus seems to be impopular) please let me know. Symmetric Lambda Calculus (since it is isomorphic to Symmetric Interaction Combinators) may be a good option. Thoughts?

[brunoczim]

I think Symmetric Lambda Calculus is a good name indeed. Another one is "Projected Lambda Calculus" since it adds projections to Lambda Calculus.

[coproduto]

Symmetric Lambda Calculus seems good.

Bikeshedding, ahoy! 🚲

[Kesanov]

What about Interaction Calculus, Σ calculus or σ calculus.

I am not sure lambda without scope should be still called lambda.

[o1lo01ol1o]

Symmetric Interaction Calculus seems a better direction; you've effectively moved beyond lambdas to graphs so it might be better to signify that in the name.

[VictorTaelin]

Interaction Calculus is my favorite but it is already used to mean something else on the field, and certain person would kill me if I used it.

[VictorTaelin]

Technically Symmetric Interaction Calculus isn't, and it has a sic abbreviation, so that'll be it.