AbstractLast works in linear logic mark a trend that can be summarized as: studying of fragments of calculi which have good logical properties and a quite powerful class of representable functions. ELL is a system derived from linear logic which presents several of such good properties: first of all a bound of the cut-elimination procedure which is lower w.r.t. the usual one
Linear Logic, we concisely write LL, has been introduced recently by Jean Yves Girard in Theoretical...
We present a new proof of cut elimination for linear logic which proceeds by three nested structural...
Girard's Intuitionistic Linear Logic [7] is a renement of Intuitionistic Logic, where formulae ...
Last works in linear logic mark a trend that can be summarized as: studying of fragments of calculi ...
Last works in linear logic mark a trend that can be summarized as: studying of fragments of calculi ...
The authors discuss possible lambda calculi for intuitionistic linear logic with exponential connect...
International audienceAbstract Linear logic (LL) has been used as a foundation (and inspiration) for...
AbstractStarting from Girard’s seminal paper on light linear logic (LLL), a number of works investig...
The purpose of this note is to clarify some syntactical matters in linear logic. We present a detail...
International audienceLogical frameworks have seen three decades of design, theory, implementation ,...
AbstractA subsystem of linear logic, elementary linear logic, is defined and shown to represent exac...
In the paper entitled "On the Unity of Logic", J.-Y. Girard presented a calculus, called LU, which i...
Girard’s claims such as “Linear logic is a resource conscious logic”. Increasingly, computer scienti...
International audienceThis paper is devoted to design computational systems of linear logic (i.e. sy...
This paper is an overview of existing applications of Linear Logic (LL) to issues of computation. Af...
Linear Logic, we concisely write LL, has been introduced recently by Jean Yves Girard in Theoretical...
We present a new proof of cut elimination for linear logic which proceeds by three nested structural...
Girard's Intuitionistic Linear Logic [7] is a renement of Intuitionistic Logic, where formulae ...
Last works in linear logic mark a trend that can be summarized as: studying of fragments of calculi ...
Last works in linear logic mark a trend that can be summarized as: studying of fragments of calculi ...
The authors discuss possible lambda calculi for intuitionistic linear logic with exponential connect...
International audienceAbstract Linear logic (LL) has been used as a foundation (and inspiration) for...
AbstractStarting from Girard’s seminal paper on light linear logic (LLL), a number of works investig...
The purpose of this note is to clarify some syntactical matters in linear logic. We present a detail...
International audienceLogical frameworks have seen three decades of design, theory, implementation ,...
AbstractA subsystem of linear logic, elementary linear logic, is defined and shown to represent exac...
In the paper entitled "On the Unity of Logic", J.-Y. Girard presented a calculus, called LU, which i...
Girard’s claims such as “Linear logic is a resource conscious logic”. Increasingly, computer scienti...
International audienceThis paper is devoted to design computational systems of linear logic (i.e. sy...
This paper is an overview of existing applications of Linear Logic (LL) to issues of computation. Af...
Linear Logic, we concisely write LL, has been introduced recently by Jean Yves Girard in Theoretical...
We present a new proof of cut elimination for linear logic which proceeds by three nested structural...
Girard's Intuitionistic Linear Logic [7] is a renement of Intuitionistic Logic, where formulae ...
DOI
Add to ORKG