New Roles for Types?

[jbs1]

migrated from Trac, where originally posted by kohlhase on 27-Jan-2008 5:19am

if we have many types (and MathML3/OM3) acknowledge the existence of type systems, should we introduce new roles for types in CDs?

[jbs1]

migrated from Trac, where originally posted by jhd on 27-Jan-2008 8:42am

We could do. OM currently acknowledges the existene of type systems, but does not privilege any one such, though in practice STS is there as "not to be contradicted", at least as far as arities are concerned.

[jbs1]

migrated from Trac, where originally posted by kohlhase on 25-Feb-2011 12:23pm

rescheduling

[kohlhase]

this is now rolled into OpenMath/OMSTD#39