Extension Proposal: Records in Pragmatic OpenMath.
Michael Kohlhase · 2014
I propose to extend the pragmatic syntax of OpenMath by records. Record structures are utilized ubiquitously for representing objects and accessing their components in programming, and we show that this is true for mathematical practice at the informal but rigorous level as well, even though at the formal level records can be reduced to tuples or partial functions. This situation makes records an ideal case study for an OpenMath language extension (OLE) proposed in a sibling paper. 1