Conclusions

Conclusions

Current working specification: http://dave.cs.cornell.edu:8002/Simlab/papers/mathbus/mathTerm.htm

What’s next?

• An ML implementation?
• Term label bindings for
  • Geometry — Paul Chew and Steve Vavasis
  • Logic — ??
  • Program structure — ??
• Term based Web search engines!