Interactive λ-Reduction November 27, 2025 by Cnznews Interactive λ-reduction ExamplestarterLamping ALamping Blist headΩ (non-normalization)Y (non-normalizing)two square twicedelete vs sharereplicative decaygraph colorΔ-Nets (2025)λ-calculus (1936+)full level (default)relative levellinear(l)affine(a)relevant (i)full (of)0/0 GitHub <a href Share this: Share on Facebook (Opens in new window) Facebook Share on X (Opens in new window) X Like this:Like Loading... Related