%0 Conference Paper %1 conf/lics/MalacariaR91 %A Malacaria, Pasquale %A Regnier, Laurent %B LICS %D 1991 %I IEEE Computer Society %K dblp %P 63-72 %T Some Results on the Interpretation of lambda-calculus in Operator Algebras %U http://dblp.uni-trier.de/db/conf/lics/lics91.html#MalacariaR91 %@ 0-8186-2230-X

@inproceedings{conf/lics/MalacariaR91, added-at = {2023-03-24T00:00:00.000+0100}, author = {Malacaria, Pasquale and Regnier, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/21d9c6acd3526bf8f66b59a199979d214/dblp}, booktitle = {LICS}, crossref = {conf/lics/1991}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1991.151631}, interhash = {ccbf78156fddd4ec235597a23d5f9fd0}, intrahash = {1d9c6acd3526bf8f66b59a199979d214}, isbn = {0-8186-2230-X}, keywords = {dblp}, pages = {63-72}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:09.000+0200}, title = {Some Results on the Interpretation of lambda-calculus in Operator Algebras}, url = {http://dblp.uni-trier.de/db/conf/lics/lics91.html#MalacariaR91}, year = 1991 }