Some results on the Interpretation of λ-calculus in Operator Algebra (1991)

by P Malacaria, L Regnier
Venue:In Proceedings of LICS