VictorTaelin
Naming
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?
I think Symmetric Lambda Calculus is a good name indeed. Another one is "Projected Lambda Calculus" since it adds projections to Lambda Calculus.
What about Interaction Calculus, Σ calculus or σ calculus.
I am not sure lambda without scope should be still called lambda.
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.
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.
Technically Symmetric Interaction Calculus isn't, and it has a sic abbreviation, so that'll be it.