SÉMINAIRES LDP
décembre 2000

Organisatrice : Marie-Renée Fleury-Donnadieu

Horaire : Le mardi

Salle Séminaires : 3ème étage, pièce 306, I.M.L., Groupe des Laboratoires de Luminy (CNRS).

Planning


Mardi 12 décembre, à 14h

René Vestergaard (Post-doc-IML) :
Normalisation by Evaluation for System F, Type Theory, an Environment Machine, and Type-Checking in F


 

EL, le 11 décembre 2000