Palsberg, J. and Ørbæk, P. (1995) “Trust in the lambda-calculus”, BRICS Report Series, 2(31). doi: 10.7146/brics.v2i31.19934.