Confluence of the lambda calculus with left linear algebraic rewriting (1992)

by F Müller
Venue:Information Processing Letters