[Trac] [OpenMath] #28: New Roles for Types?

[OpenMath]

#28: New Roles for Types?
----------------------------+-----------------------------------------------
     Reporter:  kohlhase    |          Owner:  kohlhase  
         Type:  proposal    |         Status:  new       
     Priority:  blocker     |      Milestone:  CD3 Draft1
    Component:  CD3 Format  |        Version:            
   Resolution:              |       Keywords:            
Include_gantt:  0           |   Dependencies:            
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD
----------------------------+-----------------------------------------------
Comment (by jhd):

 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.

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/28#comment:1>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.