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

Christoph LANGE ch.lange at jacobs-university.de
Sat May 9 10:43:23 CEST 2009

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?



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 

More information about the Om mailing list