<td class="snns top" id="ldJ2">
<span class="emph alpha">J2.</span>
</td>
- <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/basic2a.pdf">The Formal System λδ Revised - Stage A: Extending the Applicability Condition</a> (<span class="emph gamma">2014-11</span>). Submitted to ACM ToCL.</td>
+ <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/basic2a.pdf">The Formal System λδ Revised - Stage A: Extending the Applicability Condition</a> (<span class="emph gamma">2014-11</span>). Submitted to ACM ToCL. CoRR identifier <a href="http://arxiv.org/abs/1411.0154">1411.0154</a> [v1].</td>
</tr>
<tr>
<td class="nnns top" />
- <td class="nsnn top">CoRR identifier <a href="http://arxiv.org/abs/1411.0154">1411.0154</a> [v1].</td>
+ <td class="nsnn top">
+ <br />
+ </td>
</tr>
<tr>
<td class="snns top" id="ldR5">
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 04 Nov 2014 16:21:22 +0100</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 04 Nov 2014 16:28:51 +0100</div>
</body>
</html>