Institut de Mathématiques de Luminy

GROUPE DE TRAVAIL 2004
Logique de la Programmation (LDP)

Organisatrice :

Marie-Renée Fleury-Donnadieu (téléphone : 04 91 26 96 38).
Lieux : IML, Bâtiment TPR2- CNRS : Amphithéatre de l'IML : 1er étage (130-134)
Salle de DEA et salle de réunion de l'équipe : 2ème étage
Salle de Séminaire : 3ème étage (304-306).
Horaire : en règle générale le mardi, à 14h.

mardi 9 novembre
----- à 14 h -----
Salle de séminaires

Thomas Ehrhard (IML) :
Le Lambda-calcul différentiel (suite).

mardi 19 octobre
----- à 14 h -----
Salle de séminaires

Thomas Ehrhard (IML) :
Le Lambda-calcul différentiel (suite).

lundi 11 octobre
----- à 14 h 30 -----
Amphithéâtre

Thomas Ehrhard (IML) :
Le Lambda-calcul différentiel.

Programme :
Cette séance sera la première d'une série de 3 ou 4. les thèmes abordés seront :
1) Sémantique dénotationnelle : espaces de finitude et espaces vectoriels topologiques associés.
2) Lambda-calcul différentiel : propriétés de base.
3) Développement de Taylor des lambda-termes ordinaires.
4) Réseaux d'interaction différentiels.

 

Last update : november 5, 2004, EL.