Some results on the interpretation of lambda -calculus in operator algebras | IEEE Conference Publication | IEEE Xplore