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 ArticleDOI
Simple free star-autonomous categories and full coherence
TL;DR: In this paper, the authors give a simple presentation of the free star autonomous category over a category, based on Eilenberg-Kelly-MacLane graphs and Trimble rewiring, yielding a full coherence theorem.
Journal ArticleDOI
Coinductive Models of Finite Computing Agents
Peter Wegner,Dina Goldin +1 more
TL;DR: The role of coinductive methods in modeling finite interactive computing agents and the impact of interactive (coinductive) models on Church's thesis and the connection between incompleteness and greater expressiveness are examined.
Posted Content
Interaction Grammars
Bruno Guillaume,Guy Perrier +1 more
TL;DR: InterInteraction Grammar (IG) is a grammatical formalism based on the notion of polarity Polarities express the resource sensitivity of natural languages by modelling the distinction between saturated and unsaturated syntactic structures Syntactic composition is represented as a chemical reaction guided by the saturation of polarities as mentioned in this paper.
Journal ArticleDOI
Choreographies, logically
TL;DR: In this article, a proof theory for reasoning about programs that modularly combine choreographies with processes is presented, and a procedure for extracting choreographies from process terms is also presented.
Proceedings ArticleDOI
A theory of effects and resources: adjunction models and polarised calculi
TL;DR: The thesis is that the combination of effects and resources should be considered orthogonally, and the results show that polarisation provides a computational interpretation of CBPV in direct style.