References

1

J.-M. Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3):297-347, 1992.

2

J.-M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. New Generation Computing, 9:445-473, 1991.

3

J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1-102, 1987.

4

J. S. Hodas and D. Miller. Logic programming in a fragment of intuitionistic linear logic. Information and Computation, 110(2):327-365, 1994. Extended abstraction in the Proceedings of the Sixth Annual Symposium on Logic in Computer Science, Amsterdam, July 15-18, 1991.

5

N. Kobayashi and A. Yonezawa. ACL -- a concurrent linear logic programming paradigm. In D. Miller, editor, Proceedings of the International Symposium on Logic Programming, pages 279-294, Vancouver, Canada, October 1993. MIT Press.

6

D. Miller. A multiple-conclusion meta-logic. Theoretical Computer Science, 165(1):201-232, 1996.

7

D. Pym and J. Harland. A uniform proof-theoretic investigation of linear logic programming. Journal of Logic and Computation, 4(2):175-207, April 1994.

8

Naoyuki Tamura and Yukio Kaneda. Extension of WAM for a linear logic programming language. In Proceedings of The Second Fuji International Workshop on Functional and Logic Programming, Nov. 1996.

9

David H. D. Warren. An abstract Prolog instruction set. Technical Report Technical Note 309, SRI International, Menlo Park, CA, Oct. 1983.