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: