Re: Can relvars be dissymetrically decomposed? (vadim and x insight demanded on that subject)

Aloha Kakuikanu wrote:
> Cimode wrote:
> ...
>
> There is a coherent article on the topic:
> http://arxiv.org/PS_cache/cs/pdf/0607/0607039.pdf
> with bourbaki "ensmble" theory as a first citation. Didn't digest it
> yet.

Excellent - I've had a quick run at the first few sections (with "a-ha !" moments as similarities to the lambda calculus get pointed out) and look forward to spending more time on this. Thanks ! Received on Tue Jul 18 2006 - 17:52:03 CDT