APICe » Publications » Linear logic

Linear logic

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}