Files
lambda/docs/∆-Nets: Interaction-Based System for Optimal Parallel λ-Reduction.pdf