Searching for "Logic Programming in a Fragment of Intuitionistic Linear Logic" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Logic Programming in a Fragment of Intuitionistic Linear Logic
- …Logic Programming in a Fragment of Intuitionistic Linear Logic Joshua S. Hodas Computer Science…
- Cited by 258 (28 self) – Add To MetaCart
-
Seminar on Linear Logic and Application - Suggested Topics
- …. Troelstra. Natural deduction for intuitionistic linear logic, 1993. Manuscript. [Wad93] P. Wadler. A taste…
- Add To MetaCart
-
A Hypersequent Calculus for Łukasiewicz Logic without the Merge Rule
- …, 2003. [3] J. Hodas and D. Miller. Logic programming in a fragment of intuitionistic linear logic…
- Add To MetaCart
-
Computational Aspects of Linear Logic
- …, Philadelphia, June 1990. [41] J.S. Hodas and D. Miller. Logic programming in a fragment of intuitionistic…
- Cited by 13 (3 self) – Add To MetaCart
-
Termination
- …. Pareschi. Logic programming with sequent systems: A linear logic approach. In P. Schröder-Heister, editor…
- Add To MetaCart
-
Chapter 5 Linear Logic Programming
- … and Dale Miller. Logic programming in a fragment of intuitionistic linear logic. Information…
- Add To MetaCart
-
For the Completness Direction We Need to Generalize the Induction Hypothesis Somewhat Dierently.
- …94] Joshua Hodas and Dale Miller. Logic programming in a fragment of intuitionistic linear logic…
- Add To MetaCart
-
Chapter 7 Linear Type Theory
- ….-M. Andreoli and R. Pareschi. Logic programming with sequent systems: A linear logic approach. In P. Schr…
- Add To MetaCart
-
Chapter 6 Linear λ-Calculus
- … fragment of intuitionistic linear logic. Information and Computation, 110(2):327– 365, 1994. A preliminary…
- Add To MetaCart
-
Chapter 6 Linear -Calculus
- … and Dale Miller. Logic programming in a fragment of intuitionistic linear logic. Information…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
