нет, это типа куски выражений, которые ссылаются на переменные, которые не объявляют
оно? посмотрел further reading к презе, чтобы в способ записи въехать и понять о чем говорит иностранец. Походил по references. Увидел такое в H.P. Barendregt, The Lambda Calculus: Its Syntax and Semantics.