@@("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]."
* }
]
[ { name "ldR5" "<span class=\"emph alpha\">R5.</span>" "" } {