Introduction to linear logic and ludics, part II [article]

Pierre-Louis Curien
<span title="2005-01-19">2005</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper is the second part of an introduction to linear logic and ludics, both due to Girard. It is devoted to proof nets, in the limited, yet central, framework of multiplicative linear logic and to ludics, which has been recently developped in an aim of further unveiling the fundamental interactive nature of computation and logic. We hope to offer a few computer science insights into this new theory.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0501039v1">arXiv:cs/0501039v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dc4ltgacqrg43lm6py4jb3a4ie">fatcat:dc4ltgacqrg43lm6py4jb3a4ie</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0501039/cs0501039.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> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/59/fd/59fdf049468952995b8b03f8967907f558e21540.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0501039v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>