VictorTaelin/Interaction-Calculus

Naming

VictorTaelin opened this issue ยท 6 comments

VictorTaelin commented

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 commented

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

  • ๐Ÿ‘1
coproduto commented

Symmetric Lambda Calculus seems good.

Bikeshedding, ahoy! ๐Ÿšฒ

  • ๐Ÿ‘1
Kesanov commented

What about Interaction Calculus, ฮฃ calculus or ฯƒ calculus.

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

  • ๐Ÿ‘1
o1lo01ol1o commented

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.

  • ๐Ÿ‘2
VictorTaelin commented

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 commented

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

  • ๐ŸŽ‰1