[math-fun] "Very linear" lambda calculus

I haven't seen any questions like this on the list before, but I thought I'd try: Is there a nice characterization of the lambda terms in the span of B = \xyz.x(yz) and I = \x.x (where \ means lambda)? Both of these are linear (every input is used exactly once) and do not permute the order of their inputs, but it's not clear to me how to show that all such lambda terms are in the span. If all such terms are not in the span, what extra restrictions are there on the form of the terms? -- Mike Stay - metaweta@gmail.com http://math.ucr.edu/~mike http://reperiendi.wordpress.com