[om] A Proposal for extending OpenMath with structure sharing

sal at dcs.st-and.ac.uk sal at dcs.st-and.ac.uk
Wed Jun 26 14:29:34 CEST 2002

While I agree that there is no foundational 
problem, it is probably appropriate to note explicitly that these objects are 
allowed, and that many applications will not be 
able to handle these objects and, perhaps, to give some guidance on what is 
the appropriate error for them to raise in such circumstances.

Steve Linton	School of Computer Science  &
      Centre for Interdisciplinary Research in Computational Algebra
	     University of St Andrews 	 Tel   +44 (1334) 463269
http://www-theory.dcs.st-and.ac.uk/~sal	 Fax   +44 (1334) 463278   

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