Deltanets

Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction