solid ; width: 32px; height: 32px;"></a>
<h1>The Formal System λδ (lambdadelta)<br>
</h1>
<h2>Towards the unification of terms, types, environments and
contexts</h2>
<img style="width: 95%; height: 4px;" alt="[Separator]"
solid ; width: 32px; height: 32px;"></a>
<h1>The Formal System λδ (lambdadelta)<br>
</h1>
<h2>Towards the unification of terms, types, environments and
contexts</h2>
<img style="width: 95%; height: 4px;" alt="[Separator]"