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.