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