LLL

• To: lineaire <linear@cs.stanford.edu>
• Subject: LLL
• From: girard@lmd.univ-mrs.fr (Jean-Yves GIRARD)
• Date: Wed, 12 Oct 94 15:09:19 +0200
• Approved: types@dcs.gla.ac.uk

An extended abstract of a forthcoming paper
LIGHT LINEAR LOGIC
is available by anonymous ftp
lmd.univ-mrs.fr
dir : pub/girard
name : LLLo.ps.Z

Abstract : The abuse of structural rules can have damaging complexity  
effects.

---

Jean-Yves GIRARD
Directeur de Recherche

CNRS, Laboratoire de Mathematiques Discretes
163 Avenue de Luminy, case 930
13288 Marseille cedex 9

<girard@lmd.univ-mrs.fr>
(33) 91 82 70 25
(33) 91 82 70 26 (Mme Bodin, secretariat)
(33) 91 82 70 15 (Fax)

• Prev: Lambda Definability in Categorical Models
• Next: LLW is decidable
• Index(es):
  • Main
  • Thread