This special issue is devoted to complete and revised versions
of papers presented at
the Logique et Modèles du Calcul (Logic and Models
Conference held at CIRM in Marseilles in September 1996.
The conference was organized by Marie-Renée Donnadieu, and the
members of the
programme committee were Gérard Berry, Jean-Yves Girard, Max Kanovich,
Krivine, Yves Lafont and François Lamarche.
The scope of the conference was quite large, including, for instance,
process calculi, abstract machines for lambda-calculus, computational interpretations
linear logic and logical aspects of proof search. Only the last three topics
in this special issue of Mathematical Structures in Computer Science, but
we think that
these papers are quite representative of the liveliness of research in
this area on the
borderline between mathematics and computing.
We wish to thank Giuseppe Longo, who kindly proposed publishing this
editorial reasons, a few contributions could not be included – they
should appear in later