VictorTaelin / Interaction-Calculus

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

Related projects

Alternatives and complementary repositories for Interaction-Calculus