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:7248@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20180913T110000
DTEND;TZID=Europe/Paris:20180913T123000
DTSTAMP:20241120T203847Z
URL:https://www.i2m.univ-amu.fr/evenements/evaluation-semantique-en-logiqu
 e-lineaire-elementaire/
SUMMARY:Tito Nguyen (LIPN\, Université Paris 13): Évaluation sémantique 
 en logique linéaire élémentaire
DESCRIPTION:Tito Nguyen: Après avoir passé en revue l'utilisation des tec
 hniques d'évaluation sémantique pour caractériser des classes de comple
 xité en lambda-calcul simplement typé (en particulier les travaux de Hil
 lebrand et Kanellakis)\, nous décrirons un nouveau résultat s'appliquant
  à une logique du second ordre : les langages décidés par des programme
 s en logique linéaire élémentaire (ELL) opérant sur des chaînes de Ch
 urch et de type de sortie !!Bool sont exactement les langages rationnels. 
 (En ajoutant des types récursifs\, on obtient tout le temps polynomial\, 
 ce qu'a montré Baillot.) La preuve repose principalement sur l'existence 
 d'une sémantique finie de la logique linéaire multiplicative du second o
 rdre\, obtenue par quotient observationnel. Ce premier résultat pourrait 
 ouvrir la voie à une étude fine de la complexité dans les logiques all
 égées\, tenant compte du contrôle exercé conjointement par les propri
 étés géométriques de la syntaxe et le typage\, ce dernier étant refl
 été dans la sémantique. Ainsi\, nous formulerons une caractérisation c
 onjecturale de l'espace logarithmique dans ELL.\nTravail réalisé avec Th
 omas Seiller.\n\nLê Thành Dũng Nguyễn aka Tito Nguyen
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 018/09/Tito_Nguyen.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