Jean-Yves Girard

The familiar connective of negation is broken into two operations: linear negation, which is the purely negative part of negation, and the modality “of course”, which as the meaning of a reaffirmation. Following this basic discovery, a completely new approach to the whole area between constructive logics and programmation is initiated.

Theoretical Computer Science 50(1), pages 1-102, 50 pages, 1987, North Holland, Amsterdam
Author = {Girard, Jean-Yves},
Issn = {0304-3975},
Journal = {Theoretical Computer Science},
Number = 1,
Pages = {1--102},
Publisher = {North Holland, Amsterdam},
Title = {Linear logic},
Volume = 50,
Year = 1987}


Publication Data

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna