J. Palsberg and P. Ørbæk, “Trust in the lambda-calculus”, BRICS, vol. 2, no. 31, Jun. 1995.