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:8474@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20240628T100000
DTEND;TZID=Europe/Paris:20240628T110000
DTSTAMP:20241124T182011Z
URL:https://www.i2m.univ-amu.fr/evenements/linearite-et-derivation-a-lordr
 e-superieur-dans-les-langages-de-programmation/
SUMMARY:Thomas Ehrhard (IRIF): Linéarité et dérivation à l'ordre supér
 ieur dans les langages de programmation
DESCRIPTION:Thomas Ehrhard: Les langages de programmation dits fonctionnels
 \, c'est-à-dire fondés sur le lambda-calcul\, forment un modèle de calc
 ul dans lequel les programmes calculent des fonctions d'ordre supérieur\,
  c'est-à-dire définies sur espaces de fonctions. Ces modèles permettent
  de définir une notion de programme linéaire\, dans un sens très simila
 ire à la linéarité en algèbre (préservation des sommes)\, notion rigo
 ureusement introduite par la logique linéaire de Girard. L'analogie peut-
 être poussée plus loin puisque l'on peut également  introduire des pro
 grammes  (multi-)linéaires approximant un programme donné\, ce qui cond
 uit à définir une opération de  dérivation formelle des programmes et
  même à donner un sens opérationnel à la formule de  Taylor en montra
 nt que tout programme est égal à la somme de ses approximants multi-lin
 éaires.
CATEGORIES:Colloquium
LOCATION:I2M Luminy - TPR2\, Amphithéâtre Herbrand 130-134 (1er étage)\,
  163 Avenue de Luminy\, Marseille\, 13009\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars
 eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - TPR2\, Amph
 ithéâtre Herbrand 130-134 (1er étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20240331T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR