interaction-nets

Lafont's interaction nets for optimal parallel λ-reduction. Graph rewriting