@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: /Users/damiano/bin/bib2bib -c butype="mastersthesis" -ob ZZZmastersthesis.bib --remove pdf papers.bib}}
@mastersthesis{mTh,
author = {Damiano Zanardini},
title = {Una semantica generale per la verifica e l'inferenza di tipi monomorfi},
school = {Universit\`a di Pisa},
year = {2002},
month = {July},
butype = {mastersthesis}
}
This file was generated by bibtex2html 1.99.