Opportunistically Parallel Lambda Calculus

• October 30, 2025