Lambda Substitution Algebras.

Zinovy Diskin, Ilya Beylin

Browse the full MFCS paper archive.