An algebraic interpretation of the lambda beta k-calculus; and an application of a labelled lambda -calculus (1976)

by J-J Lévy
Venue:Theor. Comput. Sci