Searching for "Intuitionistic Light Affine Logic." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
An Introduction toIntuitionistic Light Affine Logic
- … An Introduction toIntuitionistic Light Affine Logic LUCA ROVERSIDipartimento di Informatica C…
- Add To MetaCart
-
Intersection types for light affine lambda calculus
- … of Light Affine Lambda Calculus must however be regarded as errors. Intuitionistic Light Affine Logic (ILAL…
- Cited by 2 (1 self) – Add To MetaCart
-
Linear Logical Characterization of Polyspace Functions (Extended Abstract)
- … characterization of the polyspace functions. Our logical system is an extension of Intuitionistic Light Affine…
- Cited by 1 (0 self) – Add To MetaCart
-
Light Affine Logic: Proof Nets, Programming Notation, P-Time Correctness And Completeness
- … the paper with some observations and hypothesis on future work. 2. Intuitionistic Light Affine Logic…
- Add To MetaCart
-
Soft lambda-calculus: a language for polynomial time computation
- …, intuitionistic light affine logic with fixpoints, the new system: Figure 4. Proposition 8. If t is a pseudo…
- Cited by 8 (1 self) – Add To MetaCart
-
Light Affine Logic
- …Light Affine Logic A. Asperti Dipartimento di Scienze dell'Informazione Via di Mura Anteo Zamboni…
- Cited by 39 (0 self) – Add To MetaCart
Showing 1 through 6.
