Maribel Fernández, Ian Mackie, François-Régis Sinot. Lambda-Calculus with Director Strings. Appl. Algebra Eng. Commun. Comput., 15(6):393-437, 2005. [doi]
@article{FernandezMS05,
title = {Lambda-Calculus with Director Strings},
author = {Maribel Fernández and Ian Mackie and François-Régis Sinot},
year = {2005},
doi = {10.1007/s00200-005-0169-9},
url = {http://dx.doi.org/10.1007/s00200-005-0169-9},
researchr = {https://researchr.org/publication/FernandezMS05},
cites = {0},
citedby = {0},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {15},
number = {6},
pages = {393-437},
}