## Pasquale Malacaria, Laurent Regnier

*Some Results on the Interpretation of λ-calculus in Operator Algebras*

LICS, 1991.

@inproceedings{LICS-1991-MalacariaR, author = "Pasquale Malacaria and Laurent Regnier", booktitle = "{Proceedings of the Sixth Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1991.151631", isbn = "0-8186-2230-X", pages = "63--72", publisher = "{IEEE Computer Society}", title = "{Some Results on the Interpretation of λ-calculus in Operator Algebras}", year = 1991, }