Author:
Garg Deepak,Pfenning Frank
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. CLL implementation, Available electronically from http://www.cs.cmu.edu/~dg
2. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proc. of POPL 2001, pp. 104–115 (2001)
3. Abramsky, S.: Computational interpretations of linear logic. Theoretical Computer Science 111(1–2), 3–57 (1993)
4. Lecture Notes in Computer Science;S. Abramsky,1996
5. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2(3), 297–347 (1992)