Jean-Jacques Lévy An Algebraic Interpretation of the <i> lambda beta </i> K-Calculus; and an Application of a Labelled <i> lambda </i> -Calculus. 97-114 1976 2 Theor. Comput. Sci. 1 db/journals/tcs/tcs2.html#Levy76