Light affine logic

Proceedings - Symposium on Logic in Computer Science

Volumn 1998-June, Issue , 1998, Pages 300-308

  Asperti, A ^a  

^a Dipartimento di Scienze dell'Informazione   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

AFFINE LOGIC; COMPLEXITY CLASS; CURRY-HOWARD CORRESPONDENCE; CUT ELIMINATION; LIGHT LINEAR LOGIC; LOGICAL SYSTEM; TYPE ANNOTATIONS; TYPING SYSTEMS;

COMPUTER CIRCUITS;

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

References (10)

1. [AM98] A. Asperti, H.Mairson Optimal β-reduction is not elementary recursive. Proc. of the twenty- fifth Annual ACM SIGACT-SIGPLAN Sympo- sium on Principles of Programming Languages (POPL'98).
2. [AG98] A. Asperti, S.Guerrini The Optimal Im- plementation of Functional Programming Languages. To appear in the cambridge Tracts in Theoretical Computer Science" Series, Cam- bridge University Press, 1998.
3. [BBdH93] P.N.Benton, G.M.Bierman, V.C.V.de Paiva, J.M.E.Hyland. A Term Calculus for Intu- itionistic Linear Logic. In Proceedings of Typed Lambda Calculus and Applications, LNCS 664, 1993.
4. [Gi95] J.Y.Girard. Proof Nets: The parallel syntax for proof-Theory, in Ursini and Agliano, editors, Logic and Algebra, Marcel Dekker, New York, 1995.
5. [Gi96] J.Y.Girard. Light Linear Logic, manuscript. 1995.
6. [GSS92] J.Y.Girard, A. Scedrov, P.J.Scott. Bounded Linear Logic: A modular approach to polynomial time computability, Theoretical Computer Sci- ence, 97:1-66, 1992.
7. [KOS97] M.L.Kanovich, M.Okada, A.Scedrov. Phase Semantics for Light Linear Logic. To appear in Theoretical Computer Science, V.405. 1997.
8. [Le94] D.Leivant. A foundational delineation of poly-Time, Information and Computation, 110:391- 420, 1994.
9. [LM93] D.Leivant, J-Y.Marion. Lambda Calculus characterizations of poly-Time, Fundamenta In- formaticae, 19:167-184, 1993.
10. [Wa93] P.Wadler. A syntax for Linear Logic Proc. of the Ninth International Conference on the Math- ematical Foundations of Programming Seman-Tics (MFPS'93), New Orleans, Lousiana. Springer Verlag LNCS 802, 1993.