VictorTaelin / Interaction-CalculusLinks

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
887Updated 2 months ago

Alternatives and similar repositories for Interaction-Calculus

Users that are interested in Interaction-Calculus are comparing it to the libraries listed below

Sorting: