Searching for "Light Linear Logic." – sorted by Relevance.
-
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

