[Om3] target K14 for reading content-math spec any realistic?

[Michael Kohlhase]

Paul Libbrecht wrote:
>> how strongly, or simply, typed must it be?
>
> completely open question to my taste... as long as no tool-set is
> offered to help this.
> E.g. nothing can prevent you to take the arcsine of a matrix...
> Attempts at providing types exist but their implementation has been
> known to be quite difficult. Is this a critique to the feasibility of
> a BNF grammar as Robert wishes? Maybe.
I think that there was a consensus in the groups that types and
notations should be kept near the CDs, but not in them (since they are
optional to the whole framework). That is exactly what we do in the
current setup.

Michael
>
> paul
> ------------------------------------------------------------------------
>
> _______________________________________________
> Om3 mailing list
> Om3 at openmath.org
> http://openmath.org/mailman/listinfo/om3
>   

-- 
----------------------------------------------------------------------
 Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62 
 Professor of Computer Science     Campus Ring 12, 
 School of Engineering & Science   D-28759 Bremen, Germany
 Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
 skype: m.kohlhase   * International University Bremen until Feb. 2007
----------------------------------------------------------------------