Jean-Yves Girard

Theoretical Computer Science 50(1), pages 1-102, 50 pages,  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:

Publication

— authors

Jean-Yves Girard

— status

published

— sort

article in journal

Venue

— journal

Theoretical Computer Science

— volume

50

— issue

1

— pages

1-102

— publication date

1987

Identifiers

— print ISSN

0304-3975

BibTeX

— BibTeX ID
linearlogic-tcs50
— BibTeX category
article

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