types2 2 0 http://www.openmath.org/cdfiles/cdgroups/types2.cdg Types CD Group Small Type System sts http://www.openmath.org/cd/sts.ocd MathML Numerical Types mathmltypes http://www.openmath.org/cd/mathmltypes.ocd Calculus of Constructions cc http://www.openmath.org/cd/cc.ocd Type Sorts typesorts http://www.openmath.org/cd/typesorts.ocd Lambda Calculus lc http://www.openmath.org/cd/lc.ocd Sigma Types sigma http://www.openmath.org/cd/sigma.ocd Typing Attributes ecc http://www.openmath.org/cd/ecc.ocd Typing Attributes icc http://www.openmath.org/cd/icc.ocd Types for Basic OpenMath Objects omtypes http://www.openmath.org/cd/omtypes.ocd Type coercions coercions http://www.openmath.org/cd/coercions.ocd