Luca Padovani, Stefano Zacchiroli. From Notation to Semantics: There and Back Again. In Jonathan M. Borwein, William M. Farmer, editors, Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings. Volume 4108 of Lecture Notes in Computer Science, pages 194-207, Springer, 2006. [doi]
Abstract is missing.