← Volver a proyectos
Deltanets
Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction
#Delta-Nets: Interaction-Based System for Optimal Parallel Lambda-Reduction
Research Paper: https://arxiv.org/abs/2505.20314
Interactive Demo: https://deltanets.org