A notation for lambda terms. A generalization of environments
scientific article; zbMATH DE number 1190297
scientific article