Jean-Yves Girard

Theoretical Computer Science 50(1), pp. 1-102, 50 pagine,  1987
North Holland, Amsterdam

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.

 @article{linearlogic-tcs50,
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}
 

Tags:

Pubblicazione

— autori/autrici

Jean-Yves Girard

— stato

pubblicato

— tipo

articolo su rivista

Sede di pubblicazione

— rivista

Theoretical Computer Science

— volume

50

— numero

1

— pagine

1-102

— data di pubblicazione

1987

Identificatori

— print ISSN

0304-3975

BibTeX

— BibTeX ID
linearlogic-tcs50
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY