Some Ideas for Types in OpenMath

No slides supplied as yet.

This page is part of the OpenMath Web archive, and is no longer kept up to date.