Introduction to linear logic and ludics, part II

Simple item page
dc.creatorCurien, Pierre-Louis
dc.date2005-01-19
dc.date.accessioned2026-07-07T08:10:18Z
dc.date.available2026-07-07T08:10:18Z
dc.descriptionThis 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.
dc.identifierhttps://arxiv.org/abs/cs/0501039
dc.identifierhttp://arxiv.org/abs/cs/0501039
dc.identifierAdvances in Mathematics (China) 35, 1 (2006) 1-44
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/131785
dc.subjectLogic in Computer Science
dc.titleIntroduction to linear logic and ludics, part II
dc.typetext

Files

Collections

arXiv