search

VictorTaelin / Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
MIT License
755 stars 53 forks source link

Naming #1

Open VictorTaelin opened 6 years ago

VictorTaelin commented 6 years ago

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 6 years ago

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

coproduto commented 6 years ago

Symmetric Lambda Calculus seems good.

Bikeshedding, ahoy! :bike:

Kesanov commented 6 years ago

What about Interaction Calculus, Σ calculus or σ calculus.

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

o1lo01ol1o commented 6 years ago

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 commented 5 years ago

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 5 years ago

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