ANR-PRELUDE
Vers une pragmatique théorique basée sur la ludique et les continuations

Réunions de travail

Première réunion 2008 autour des "calculs symétriques"

mercredi 16 janvier à l’ENS (Paris), de 10h à 17h :
29 rue d’Ulm
salle de séminaire du DEC
rez-de-chaussée (couloir immédiatement à droite)


Les calculs symétriques

Première réunion 2008 autour des "calculs symétriques"

mercredi 16 janvier à l’ENS (Paris), de 10h à 17h :
29 rue d’Ulm
salle de séminaire du DEC
rez-de-chaussée (couloir immédiatement à droite)

La journée du mercredi 16 janvier à l’ENS (Paris) sera consacrée aux "calculs symétriques" c’est-à-dire aux calculs qui traitent particulièrement de la dualité
entre termes (programmes) et co-termes (contextes), comme
les calculs de Curien et Herbelin et de Lambek-Grishin, et qui
donc possèdent une interprétation au moyen des continuations,
et questions diverses concernant les systèmes d’inférence.

Invités :
- Hugo Herbelin pour une suite à son exposé de Carry-le-Rouet où il est question de rejoindre certaines idées de la ludique !
- Lutz Strassburger qui nous parlera de l’inférence profonde,
- Kosta Dosen qui parlera de la théorie catégorielle de la démonstration
- Richard Moot qui nous parlera du calcul de Lambek-Grishin.

Site propulsé par l'Atelier du code et du data, chantier d'insertion numérique