+@inproceedings{latexmathml,
+ author = {Luca Padovani},
+ title = {On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions},
+ booktitle = {MKM '03: Proceedings of the Second International Conference on Mathematical Knowledge Management},
+ year = {2003},
+ isbn = {3-540-00568-4},
+ pages = {66--79},
+ publisher = {Springer-Verlag},
+ address = {London, UK},
+}
+
@inproceedings{gmetadom,
author = "Luca Padovani and Claudio Sacerdoti Coen and Stefano Zacchiroli",
title = "A Generative Approach to the Implementation of Language Bindings for the Document Object Model",
year = "2003",
}
-
@article{asperti-categorical-understanding,
author = "Andrea Asperti",
title = "A categorical understanding of environment machines",
year = "1999"
}
+@TechReport{ctcoq2,
+ author = "Laurent Th\'ery and Yves Bertot and Gilles Kahn",
+ title = "Real Theorem Provers Deserve Real User-Interfaces",
+ month = may,
+ year = "1992",
+ institution = "INRIA",
+ number = "{Inria Research Report 1684}"
+}
+
@article{ctcoq3,
author = "Yves Bertot and Laurent Th\'ery",
title = "A Generic Approach to Building User Interfaces for Theorem Provers",
year = 1998
}
+@misc{content-centric,
+ author = "Andrea Asperti and Luca padovani and Claudio Sacerdoti Coen
+ and irene Schena",
+ title = "Content-centric Logical Envirnoments",
+ howpublished = "Short Presentation at the Fifteenth IEEE Symposium on Logic in Computer Science",
+ month = "June",
+ year = "2000",
+ key = "content centric"
+}
@misc{mowgli-proposal,
title = "The {MoWGLI Proposal}, {HTML} Version",
({TPHOLS}'2000), Portland, Oregon, USA",
}
-@TechReport{ctcoq2,
- author = "Laurent Th\'ery and Yves Bertot and Gilles Kahn",
- title = "Real Theorem Provers Deserve Real User-Interfaces",
- month = may,
- year = "1992",
- institution = "INRIA",
- number = "{Inria Research Report 1684}"
-}
-
@inproceedings{Ring,
author = "Samuel Boutin",
title = "Using Reflection to Build Efficient and Certified Decision