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

Pasquale Malacaria, Laurent Regnier

Browse the full LICS paper archive.