<h1>The Formal System λδ (\lambda\delta)<br>
</h1>
<h2>Towards the unification of terms, types, environments and contexts</h2>
<h1>The Formal System λδ (\lambda\delta)<br>
</h1>
<h2>Towards the unification of terms, types, environments and contexts</h2>