2 ms·Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution4 points by fanf2 1y ago