У Клопа, ван Оострома и де Врийера есть статья о лямбда-исчислении с узорами. http://www.sciencedirect.com/science/article/pii/S0304397508000571 В некотором смысле шаблон - это дерево переменных - хотя я просто думаю о нем как о вложенном кортеже переменных, например, ((x, y), z), (t, s)). В статье...