[1]
P. Metts, “BodilyPishu: Construction of Lambda Calculus”, jcsseng, vol. 10, no. 3, Oct. 2018.