Lambda-calculus with director strings
scientific article; zbMATH DE number 2176471
scientific article