The algebraic $\lambda$-calculus is a conservative extension of the ordinary $\lambda$-calculus

Axel Kerinec, Lionel Vaux Auclair

The algebraic $\lambda$-calculus is an extension of the ordinary $\lambda$-calculus with linear combinations of terms. We establish that two ordinary $\lambda$-terms are equivalent in the algebraic…