Interactive λ-Reduction

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 …

Read more