BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:8089@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20150423T110000
DTEND;TZID=Europe/Paris:20150423T120000
DTSTAMP:20241120T210023Z
URL:https://www.i2m.univ-amu.fr/evenements/representation-des-fonctions-co
 ntinues-entre-streams-co-par-des-types-de-donnees/
SUMMARY:Pierre Hyvernat (LAMA\, Université Savoie Mont Blanc): Représenta
 tion des fonctions continues entre "streams" (& Co.) par des types de donn
 ées
DESCRIPTION:Pierre Hyvernat: Brouwer savait déjà que les fonctions contin
 ues entre streams (avec la topologie produit habituelle) pouvaient être r
 eprésentées par des arbres infinis. Peter Hancock a montré comment inte
 rpréter ce théorème de représentation en théorie des types dépendant
 s\, permettant ainsi de manipuler ces fonctions comme un type de données 
 (co)inductif standard.\nNous avons récemment pu généraliser ces idées 
 à de nombreux types de données coinductifs en utilisant la notion de str
 ucture d'interaction (ou « container indexé » ou « foncteur polynomial
  »). Je présenterai cette généralisation en essayant d'introduire les 
 notions nécessaires au fur et à mesure : topologie produit\, types dépe
 ndants\, définitions inductives et coinductives\, systèmes d'interaction
 \, définitions inductives-récursives\, etc.\nTravail en commun avec Pete
 r Hancock.\n\nhttp://www.lama.univ-savoie.fr/~hyvernat/
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Pierre_Hyvernat2.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20150329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR