"F. Guidi:" +
@("http://www.informatica.unibo.it/it/ricerca/technical-report/2006/UBLCS-2006-01"
"Lambda Types on the Lambda Calculus with Abbreviations: a Certified Specification") +
"(<span class=\"emph beta\">2006-01</span>)." +
"University of Bologna, technical report UBLCS-2006-01." +
"F. Guidi:" +
@("http://www.informatica.unibo.it/it/ricerca/technical-report/2006/UBLCS-2006-01"
"Lambda Types on the Lambda Calculus with Abbreviations: a Certified Specification") +
"(<span class=\"emph beta\">2006-01</span>)." +
"University of Bologna, technical report UBLCS-2006-01." +