@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.