Linear logic
Jean-Yves Girard
- Vol. 50, Iss: 1, pp 1
Reads0
Chats0
About:
The article was published on 1987-01-30 and is currently open access. It has received 3947 citations till now. The article focuses on the topics: Affine logic & Substructural logic.read more
Citations
More filters
Journal Article
A logical view of concurrent constraint programming
TL;DR: This paper extends the denotational semantics of determinate concurrent constraint programming languages to the operational semantics of such languages and makes available similar analogies for a much broader variety of languages including indeterminate CCP languages and concurrent block-structured imperative languages.
Journal ArticleDOI
On the linear decoration of intuitionistic derivations
TL;DR: An optimal proof-by-proof embedding of intuitionistic sequent calculus into linear logic is defined and the (purely logical) linearity information thus obtained is analysed.
Proceedings ArticleDOI
A logical view of composition and refinement
Martín Abadi,Gordon Plotkin +1 more
TL;DR: The Iogics provide a setting for the stud y of composition and refinement rules, and a framework for the use of the modular specification methods that these rules underpin, which arise naturally from extant specification approaches.
Journal ArticleDOI
Quantale Modules and their Operators, with Applications
TL;DR: The main categorical properties are established and a special class of operators, called Q-module transforms, is defined, which find concrete applications in two different branches of image processing, namely fuzzy image compression and mathematical morphology.
Journal ArticleDOI
A Model for Syntactic Control of Interference
TL;DR: Reynolds' concept of passive type - i.e .