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
Idempotent residuated structures: Some category equivalences and their applications
TL;DR: In this paper, the authors show a category equivalence between GSMs and relative Stone algebras with a nucleus (i.e., a closure operator preserving the lattice operations).
Book ChapterDOI
On the Value of Variables
TL;DR: This paper shows that practical values lead to a more efficient process of substitution--for both call-by-value and call- by-need--once the usual hypothesis for implementations hold terms are closed, reduction does not go under abstraction, and substitution is done in micro steps, replacing one variable occurrence at the time.
Proceedings ArticleDOI
Semantics of Higher-Order Quantum Computation via Geometry of Interaction
Ichiro Hasuo,Naohiko Hoshino +1 more
TL;DR: The proposed denotational model is the first one that supports the full features of a quantum functional programming language, and it is proved adequacy of the semantics is achieved.
Journal ArticleDOI
The enriched effect calculus: syntax and semantics
TL;DR: The enriched eect calculus is introduced, which extends established type theories for computational eects with primitives from linear logic, and several examples of such models are given, relating them to models of standard eect calculi, and to Models of intuitionistic linear logic.
Proceedings ArticleDOI
Proof nets and Boolean circuits
TL;DR: It is shown that every unbounded fan-in Boolean circuit of depth n, possibly with stC0NN/sub 2/ gates, is polynomially simulated by a proof net of depth O(n) and vice versa.