#
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)