"In CiE 2007 Local Proceedings." +
"University of Siena, technical report 487, p. 387" +
"(abstract of a presentation)." +
"In CiE 2007 Local Proceedings." +
"University of Siena, technical report 487, p. 387" +
"(abstract of a presentation)." +
"Lambda Types on the Lambda Calculus with Abbreviations") +
"(<span class=\"emph gamma\">2006-11</span>)." +
"University of Bologna, technical report UBLCS-2006-25." +
"Lambda Types on the Lambda Calculus with Abbreviations") +
"(<span class=\"emph gamma\">2006-11</span>)." +
"University of Bologna, technical report UBLCS-2006-25." +
"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." +
"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." +
"(revised <span class=\"emph delta\">2015-01</span>)." +
"Formal specification for the proof assistant Coq 7.3.1 (scripts)." +
"(revised <span class=\"emph delta\">2015-01</span>)." +
"Formal specification for the proof assistant Coq 7.3.1 (scripts)." +