Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction. - Daniel Augusto Rizzi Salvadori (CoRR, 2025)