@@("download/basic2a.pdf"
"The Formal System λδ Revised - Stage A: Extending the Applicability Condition") +
"(<span class=\"emph gamma\">2014-11</span>)." +
- "Submitted to ACM ToCL."
+ "Submitted to ACM ToCL." +
"CoRR identifier" +
@("http://arxiv.org/abs/1411.0154" "1411.0154") +
"[v1]."