An Hypertextual Electronic Library of Mathematics
(HELM)
http://www.cs.unibo.it/~asperti/HELM/home.html
Andrea Asperti
<asperti@cs.unibo.it>
Luca Padovani
<lpadovan@cs.unibo.it>
Claudio Sacerdoti Coen
<sacerdot@cs.unibo.it>
Irene Schena
<schena@cs.unibo.it>
