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]
@inproceedings{PadovaniZ06,
title = {From Notation to Semantics: There and Back Again},
author = {Luca Padovani and Stefano Zacchiroli},
year = {2006},
doi = {10.1007/11812289_16},
url = {http://dx.doi.org/10.1007/11812289_16},
tags = {semantics},
researchr = {https://researchr.org/publication/PadovaniZ06},
cites = {0},
citedby = {0},
pages = {194-207},
booktitle = {Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings},
editor = {Jonathan M. Borwein and William M. Farmer},
volume = {4108},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-37104-4},
}