Some Results on the Interpretation of λ-calculus in Operator Algebras (1991)

by L
Venue:Proc. LICS 63-72, IEEE