Some Results on the Interpretation of lambda-calculus in Operator Algebras

Pasquale Malacaria Laurent Regnier Some Results on the Interpretation of lambda-calculus in Operator Algebras 63-72 conf/lics/LICS6 1991 LICS db/conf/lics/lics91.html#MalacariaR91