[om] A Proposal for extending OpenMath with structure sharing

jhd at cs.bath.ac.uk jhd at cs.bath.ac.uk
Thu Apr 4 14:15:30 CEST 2002

On Wed, 3 Apr 2002, Andreas Strotmann wrote:
> A)  interpret(ref(label)) = deref'(label) where deref' is dereferencing
>          on the semantic layer
>     (syntactic sharing => semantic sharing)
> or is it
> B)  interpret(ref(label)) = interpret(deref(label))
>     (syntactic sharing does not imply semantic sharing necessarily)
> Note that B) is also the only choice that I can see is compatible with
> avoiding changing the OpenMath Standard itself, since right now the
> standard does not say anything at all about the semantics of common
> sub-trees in an OM Object (the way I understand that document).
I don't think we need to change the standard, anywhere except in OMR (or, 
following my suggestion, OMRSYN and OMRSEM), and OMR implies a change 
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems

More information about the Om mailing list