References

 

Chi84

T. Chikayama.
Esp reference manual.
Technical Report TR-044, ICOT, 1994.

Gir95

J.-Y. Girard.
Proof-nets: the parallel syntax for proof-theory.
In Ursini and Agliano, editors, Logic and Algebra. Marcel Dekker, 1995.

Laf90

Y. Lafont.
Interaction nets.
In POPL'90, pages 95-108. ACM Press, 1990.

Llo87

J.W. Lloyd.
Foundations of Logic Programming.
Springer, 1987.

Mat99

S. Matsuoka.
Additive interaction nets: Yet another linear logic programming language.
Manuscript, 1999.

Mil93

R. Milner.
The polyadic -calculus: a tutorial.
In Logic and Algebra of Specification. Springer, 1993.