A small OpenMath type system
James H. Davenport · ACM SIGSAM Bulletin · 2000
This paper describes the "light-weight" Small Type System of OpenMath. It is based on various discussion with the OpenMath Consortium, and notably with the NAG team. Section 7 lists the open issues for debate.