<img class="icon32" alt="[lambdadelta home]" title="lambdadelta home" src="http://lambdadelta.info/images/crux_32.png" />
</a>
</div>
- <div class="head1">The Formal System λδ (\lambda\delta)</div>
+ <div class="head1">The Formal Systems of the λδ (\lambda\delta) Family</div>
<div class="spacer">
<img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
</div>
<td class="snns top" id="ldJ3a">
<span class="emph alpha">J3a.</span>
</td>
- <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/gda.pdf">Verified Representations of Landau's "Grundlagen" in λδ and in the Calculus of Constructions</a> (<span class="emph alpha">2015-08</span>). Submitted to JFR, Univerity of Bologna. <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
+ <td class="ssnn top">F. Guidi: <a href="http://jfr.unibo.it/article/view/4716">Verified Representations of Landau's "Grundlagen" in the λδ Family and in the Calculus of Constructions</a> (<span class="emph alpha">2015-12</span>). In JFR 8(1), Univerity of Bologna, pp. 93-116. <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
</tr>
<tr>
<td class="nnss top" />
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 10 Dec 2015 16:13:46 +0100</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 27 Mar 2016 18:42:29 +0200</div>
</body>
</html>