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:7227@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20181011T110000
DTEND;TZID=Europe/Paris:20181011T123000
DTSTAMP:20241120T203455Z
URL:https://www.i2m.univ-amu.fr/evenements/semantique-denotationnelle-de-l
 a-logique-lineaire-avec-plus-petits-et-plus-grands-points-fixes-de-types/
SUMMARY:Thomas Ehrhard (IRIF\, Université de Paris): Sémantique dénotati
 onnelle de la logique linéaire avec plus petits et plus grands points fix
 es de types
DESCRIPTION:Thomas Ehrhard: On montrera comment interpréter μLL - la logi
 que linéaire propositionnelle avec plus petits (μ) et plus grands (ν) p
 oints fixes de types - dans les espaces cohérents\, puis dans les espaces
  cohérents avec totalité. Le premier modèle ne fait pas la différence 
 entre μ et ν\, alors que le second\, bâti sur le premier\, interprète 
 μ et ν de façons différentes. La même technique s'adapte à beaucoup 
 d'autres modèles\, et notamment aux espaces de finitude. μLL peut être 
 vu comme un langage de programmation fortement normalisant contenant le sy
 stème T de Gödel et permettant de définir de nombreux "types de donnée
 s" (listes\, arbres\, mais aussi streams etc).\nTravail en collaboration a
 vec Farzad Jafrrahmani.\n\n\n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Thomas_Ehrhard.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20180325T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR