New posts in Computational Linguistics

Why is alpha-equivalence in untyped $\lambda$-calculus substitutive?