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:7324@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20180419T110000
DTEND;TZID=Europe/Paris:20180419T123000
DTSTAMP:20241120T203912Z
URL:https://www.i2m.univ-amu.fr/evenements/logical-by-need/
SUMMARY:Alexis Saurin (IRIF\, Université de Paris): Logical by-need
DESCRIPTION:Alexis Saurin: L'analyse de l'appel par nécessité (aussi appe
 lé évaluation paresseuse) est complexe\, d'autant plus lorsqu'on consid
 ère des opérateurs de contrôle. Ceci suggère de faire appel à la logi
 que\, par nécessité\, plutôt qu'à chercher à trouver une solution fon
 dée sur de pures considérations opérationnelles. Dans ce séminaire\, j
 e présenterai deux telles approches du logical by-need: le premier inspir
 é par le système L de Curien et Herbelin et le second de la réduction l
 inéaire de tête de Danos et Regnier.\nLa première approche ne sera qu'
 évoquée: l'exposé se visera surtout à construire un calcul paresseux 
 à partir de la réduction linéaire de tête en trois étapes\, de le com
 parer aux calculs de la littérature et de montrer que cette construction 
 s'étend naturellement aux opérateurs de contrôle fournissant un λμ-ca
 lcul paresseux. Selon le temps restant\, je discuterai de variantes de l'a
 ppel par nécessité (notamment la pleine paresse). Cet exposé s'appuie s
 ur des travaux conduits avec Pédrot ainsi qu'Ariola\, Downen\, Herbelin e
 t Nakata.\n\n\n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Alexis_Saurin.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