"F. Guidi:" +
@("http://doi.acm.org/10.1145/1614431.1614436"
"The Formal System λδ") +
"(<span class=\"emph delta\">2009-11</span>)." +
"F. Guidi:" +
@("http://doi.acm.org/10.1145/1614431.1614436"
"The Formal System λδ") +
"(<span class=\"emph delta\">2009-11</span>)." +
@("http://tocl.acm.org/accepted/335guidi.pdf" "accepted") +
"<span class=\"emph delta\">2008-07</span>)." +
"CoRR identifier" +
@("http://tocl.acm.org/accepted/335guidi.pdf" "accepted") +
"<span class=\"emph delta\">2008-07</span>)." +
"CoRR identifier" +
"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_5s.pdf" "The Formal System λδ") +
"(<span class=\"emph delta\">2008-10</span>)." +
"Presentation at Advances in Constructive Topology and Logical Foundations (slides)."
* }
]
"F. Guidi:" +
@@("download/ld_talk_5s.pdf" "The Formal System λδ") +
"(<span class=\"emph delta\">2008-10</span>)." +
"Presentation at Advances in Constructive Topology and Logical Foundations (slides)."
* }
]
"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") +
"Formal specification for the proof assistant Coq 7.3.1 (scripts)." +
@@("documentation.html#bibtex" "BibTeX entry") ^ "."
* }
"Formal specification for the proof assistant Coq 7.3.1 (scripts)." +
@@("documentation.html#bibtex" "BibTeX entry") ^ "."
* }