Palsberg, J.; Ørbæk, P. Trust in the Lambda-Calculus. BRICS 1995, 2.