Linear Logic and Typed Lambda-Calculus Workshop

Marseille-Luminy, 6-10 April 1998

The workshop will be held at the CIRM from April the 6th to April the 10th, and will be divided in two parts:

• The "Linear Logic Workshop", which will begin on Monday 4/6/98 morning and end on Wednesday 4/8/98 evening.
  This workshop is sponsored by the Keio University of Tokyo, the CIRM and the European Union ("Typed Lambda-Calculus" Human Capital and Mobility project).
  The program of this Workshop can be found here (dvi, ps)

• The "Typed Lambda-Calculus Workshop", which is the last meeting of the "Typed Lambda-Calculus" Human Capital and Mobility project. This meeting will begin on Thursday 4/9/98 morning and end on Friday 4/10/98 evening. It is sponsored by the HCM project and by the CIRM.
  The program of this Workshop can be found here (dvi, ps)