Colloquium de logique à la FRUMAM:

  • Laurent Regnier (Marseille), L'isomorphisme de Curry-Howard: les programmes sont-ils des démonstrations?
  • André Hirschowitz (Nice), Le printemps logique
  • Alain Prouté (Paris), Le formalisme Saunders