- "(<span class=\"date\">2009-11</span>)." +
- "In ACM ToCL 11(1), pp. 5:1-5:37 (" ^
+ "(<span class=\"emph delta\">2009-11</span>)." +
+ "In ACM ToCL 11(1), pp. 5:1-5:37 online app. pp. 1-11 (" ^
- "<span class=\"date\">2008-09</span>)." +
- @@("documentation.html#bibtex" "BibTeX entry") ^ "."
+ "<span class=\"emph delta\">2008-09</span>)." +
+ @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
"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)." +
"F. Guidi:" +
@("http://www.informatica.unibo.it/it/ricerca/technical-report/2006/UBLCS-2006-25"
"Lambda Types on the Lambda Calculus with Abbreviations") +
"F. Guidi:" +
@("http://www.informatica.unibo.it/it/ricerca/technical-report/2006/UBLCS-2006-25"
"Lambda Types on the Lambda Calculus with Abbreviations") +
"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") +
"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") +
"F. Guidi:" +
@@("download/ld_talk_4s.pdf"
"Towards the Unification of Terms, Types and Contexts") +
"F. Guidi:" +
@@("download/ld_talk_4s.pdf"
"Towards the Unification of Terms, Types and Contexts") +
"F. Guidi:" +
@@("download/ld_talk_1s.pdf"
"Lambda Tipi sul Lambda Calcolo con Abbreviazioni: una Specifica Certificata") +
"F. Guidi:" +
@@("download/ld_talk_1s.pdf"
"Lambda Tipi sul Lambda Calcolo con Abbreviazioni: una Specifica Certificata") +