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
Proceedings Article
Resource Usage Analysis.
Atsushi Igarashi,Naoki Kobayashi +1 more
TL;DR: A general problem of analyzing resource usage as a resource usage analysis problem is formalized, and a type-based method is proposed as a solution to the problem.
Journal ArticleDOI
Composition of semantic web services using linear logic theorem proving
TL;DR: This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving, and introduces a set of subtyping rules that defines a valid dataflow for composite services.
Proceedings ArticleDOI
Once upon a type
TL;DR: This work extends the Hindley-Milner type system with uses, yielding a typeinference based program analysis which determines when values are accessed at most once, and proves its analysis sound with respect to call-by-need reduction.
Journal ArticleDOI
Forum: a multiple-conclusion specification logic
TL;DR: This paper presents Forum, a logic programming presentation of all of linear logic that modularly extends λProlog, Lolli, and LO, and specifies in it a sequent calculus proof system and the operational semantics of a programming language that incorporates references and concurrency.
Book ChapterDOI
Graph Types for Monadic Mobile Processes
TL;DR: This work solves the problem of type abstraction in the monadic setting with an extension of sorting which captures dynamic aspects of process behaviour in a simple way and is general enough to be extendable to encodings of calculi with more complex operational structures.