[Om] Accessing arguments of an n-ary operator as indexed list items (in a definition)

[Christoph LANGE]

On Saturday 09 May 2009 00:36:31 Professor James Davenport wrote:
> > Indeed, assuming the existence of such a function x(i) seems more elegant
>
> That's a good point we seem to keep skating round this problem.

I do not quite understand what you mean by that comment -- do you mean that we
are still a bit fuzzy and don't nail down the exact semantics of the things
we're talking about?

Cheers,

Christoph

-- 
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om/attachments/20090509/24663ef3/attachment.pgp