A Simpler Lambda Calculus (2019)
dl.acm.org