Searching for "Light Linear Logic." – sorted by Relevance.
44 documents found, showing 1 through 10.
Next 10 →
-
Light Linear Logic
- …LIGHT LINEAR LOGIC Jean-Yves Girard Institut de Math'ematiques de Luminy, UPR 9016 -- CNRS 163…
- Cited by 472 (3 self) – Add To MetaCart
-
Phase Semantics for Light Linear Logic
- …Phase Semantics for Light Linear Logic Max I. Kanovich Mitsuhiro Okada y Andre Scedrov z…
- Cited by 10 (0 self) – Add To MetaCart
-
Stratified coherent spaces: a denotational semantics for Light Linear Logic (Extended Abstract)
- …Stratified coherent spaces: a denotational semantics for Light Linear Logic (extended abstract…
- Cited by 13 (3 self) – Add To MetaCart
-
A Polymorphic Language which is Typable and Poly-step
- … of programming language for P-TIME algorithms. 1 Introduction In [3], Girard introduced Light Linear Logic which…
- Cited by 5 (2 self) – Add To MetaCart
-
Context semantics, linear logic and computational complexity
- … and light linear logic. 1 Introduction Linear logic has always been claimed to be resource…
- Cited by 3 (2 self) – Add To MetaCart
-
Linear Logical Characterization of Polyspace Functions (Extended Abstract)
- … Abstract Light Linear Logic (LLL) of [Gir95] characterizes the polytime functions through a careful…
- Cited by 1 (0 self) – Add To MetaCart
-
Light Affine Logic
- … way" to reduce the term. The most promising of these logical systems is Girard 's Light Linear Logic…
- Cited by 41 (1 self) – Add To MetaCart
-
Realizability Models for BLL-like languages
- … We give a realizability model of Girard-Scedrov-Scott's Bounded Linear Logic (BLL). This gives a new…
- Cited by 3 (0 self) – Add To MetaCart
-
Realizability Models for BLL-like languages
- …'s Light Linear Logic (LLL) [4] as a major improvement of the syntax of BLL, in that it eliminates…
- Add To MetaCart
-
On Semantic and Type-Theoretic Aspects of Polynomial-Time Computability
- … representation theory of proofs, extending essential nets for intuitionistic linear logic, is developed for light…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
