the supp of a lambda can now be characterised, *provided* the notion of free variables coincides with support on lambda terms

(binary:application/pdf)