Showing papers by "Jean-Yves Girard published in 1986"
TL;DR: A semantics based on the category-theoretic idea of direct limit is developed, so that the behaviour of a variable type on any domain is determined by its behaviour on finite ones, thus getting rid of the circularity of variable types.
393 citations
Book•
01 Jan 1986
TL;DR: Recently, J.Y. Girard discovered that usual logical connectors such as ⇒ (implication) could be broken up into more elementary linear connectors, providing a new linear logic where hypothesis are used once and only once.
Abstract: Recently, J.Y. Girard discovered that usual logical connectors such as ⇒ (implication) could be broken up into more elementary linear connectors. This provided a new linear logic [Girard86] where hypothesis are (in some sense) used once and only once. The most surprising is that all the power of the usual logic can be recovered by means of recursive logical operators (connector “of course”).
128 citations
24 Sep 1986
TL;DR: The paper discusses the relevance of a new logic called linear logic (Girard 1986) to computer science, and in particular to parallel computations, and general remarks will be detailed in a paper in preparation with Gianfranco Mascari.
Abstract: the paper discusses the relevance of a new logic called linear logic (Girard 1986) to computer science, and in particular to parallel computations. These general remarks will be detailed in a paper in preparation with Gianfranco Mascari.
3 citations