Extending the Explicit Substitution Paradigm [chapter]

Delia Kesner, Stéphane Lengrand
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We present a simple term language with explicit operators for erasure, duplication and substitution enjoying a sound and complete correspondence with the intuitionistic fragment of Linear Logic's Proof Nets. We establish the good operational behaviour of the language by means of some fundamental properties such as confluence, preservation of strong normalisation, strong normalisation of well-typed terms and step by step simulation. This formalism is the first term calculus with explicit
more &raquo; ... tions having full composition and preserving strong normalisation.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-32033-3_30">doi:10.1007/978-3-540-32033-3_30</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n4xb3zldzveddnrsuoyn76amf4">fatcat:n4xb3zldzveddnrsuoyn76amf4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190221213345/http://pdfs.semanticscholar.org/33fa/18f578253b735a236fb52e71ce5fa143361e.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/33/fa/33fa18f578253b735a236fb52e71ce5fa143361e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-32033-3_30"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>