TY  - RPRT
TI  - $Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
AU  - Daniel Augusto Rizzi Salvadori
PY  - 2026
UR  - https://arxiv.org/abs/2505.20314
ID  - 2505.20314
ER  -