Lambda-Calculus with Director Strings

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]

Abstract

Abstract is missing.