retour à la page des séminaires

EQUIPE de LOGIQUE MATHÉMATIQUE
UFR DE MATHEMATIQUES -- UNIVERSITÉ DE PARIS VII

Séminaire "Logique, Lambda-calcul et Programmation"

Le séminaire a cessé ses activités en juin 2000. Les archives du séminaire sont disponibles :

Exposés de l'année 1999/2000

Exposés des années 1996/1999

Page du seminaire PPS.
Page maintenue par
roziere@logique.jussieu.fr