name "documentation_2"
table {
+ [ { name "ldJ2" "<span class=\"emph alpha\">J2.</span>" "" } {
+ "F. Guidi:" +
+ @@("download/basic2a.pdf"
+ "The Formal System λδ Revised - Stage A: Extending the Applicability Condition") +
+ "(<span class=\"emph gamma\">2014-11</span>)." +
+ "Submitted to ACM ToCL." +
+ "CoRR identifier" +
+ @("http://arxiv.org/abs/1411.0154" "1411.0154") +
+ "[v1]."
+ * }
+ ]
[ { name "ldR5" "<span class=\"emph alpha\">R5.</span>" "" } {
"F. Guidi:" +
@@("download/cie_2010.pdf"