Using Lambda Calculus to Develop Educational Tools. - Abel Kelbessa; David G. Wonnacott (J. Comput. Sci. Coll., 2025)