Linear logic with boxes

Proceedings - Symposium on Logic in Computer Science

Volumn 1998-June, Issue , 1998, Pages 309-320

  Mackie, Ian ^a  

^a ECOLE POLYTECHNIQUE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATION THEORY; DIFFERENTIATION (CALCULUS); ENCODING (SYMBOLS); LINEAR ALGEBRA; SIGNAL ENCODING;

BOX STRUCTURES; CUT ELIMINATION; EFFICIENT IMPLEMENTATION; GLOBAL OPERATIONS; INFINITE SYSTEM; INTERACTION NETS; LAMBDA CALCULUS; OPTIMAL REDUCTIONS;

COMPUTER CIRCUITS;

EID: 17244363306     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.1998.705667     Document Type: Conference Paper

References (12)

1. Andrea Asperti, Cecilia Giovannetti, and Andrea Naletto. The bologna optimal higher-order machine. Journal of Functional Programming, 6(6):763-810, November 1996.
2. Jean-Yves Girard. Linear Logic. Theoretical Computer Science, 50(1):1-102, 1987.
3. Jean-Yves Girard. Geometry of interaction 1: Interpretation of System F. In R. Ferro, C. Bonotto, S. Valentini, and A. Zanardo, editors, Logic Colloquium 88, Studies in Logic and the Foundations of Mathematics. North Holland Publishing Company, Amsterdam, August 1989.
4. Jean-Yves Girard. Geometry of interaction III : Accommodating the additives. In J.-Y. Girard, Y. Lafont, and L. Regnier, editors, Advances in Linear Logic, number 222 in London Mathematical Society Lecture Note Series, pages 329- 389. Cambridge University Press, 1995.
5. Georges Gonthier, Martin Abadi, and Jean-Jacques Ĺevy. The geometry of optimal lambda reduction. In Proceedings of the 19th ACM Symposium on Principles of Programming Languages, pages 15-26. ACM Press, January 1992.
6. Georges Gonthier, Martin Abadi, and Jean-Jacques Ĺevy. Linear logic without boxes. In Proceedings of the 7th IEEE Symposium on Logic in Computer Science, pages 223-234. IEEE Computer Society Press, 1992.
7. Yves Lafont. Interaction nets. In Proceedings of the 17th ACM Symposium on Principles of Programming Languages, pages 95-108. ACM Press, January 1990.
8. John Lamping. An algorithm for optimal lambda calculus reduction. In Proceedings of the 17th ACM Symposium on Principles of Programming Languages, pages 16-30. ACM Press, January 1990.
9. Jean-Jacques Ĺevy. Ŕeductions Correctes et Optimales dans le Lambda-Calcul. These d'etat, Universite Paris VII, January 1978.
10. Ian Mackie. The Geometry of Implementation. PhDthesis, Department of Computing, Imperial College of Science, Technology and Medicine, September 1994.
11. Ian Mackie. A evaluator based on interaction nets. In C. Hankin, I. Mackie, and R. Nagarajan, editors, Theory and Formal Methods of Computing 94, pages 41-60. Imperial College Press, September 1995.
12. Ian Mackie. YALE: Yet another lambda evaluator based on interaction nets, 1998. Available from http://lix.polytechnique.fr/-mackie.