Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Colloquium

Linéarité et dérivation à l’ordre supérieur dans les langages de programmation

Thomas Ehrhard
IRIF

Date(s) : 28/06/2024   iCal
10h00 - 11h00

Les langages de programmation dits fonctionnels, c’est-à-dire fondés sur le lambda-calcul, forment un modèle de calcul 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 similaire à la linéarité en algèbre (préservation des sommes), notion rigoureusement introduite par la logique linéaire de Girard. L’analogie peut-être poussée plus loin puisque l’on peut également  introduire des programmes  (multi-)linéaires approximant un programme donné, ce qui conduit à définir une opération de  dérivation formelle des programmes et même à donner un sens opérationnel à la formule de  Taylor en montrant que tout programme est égal à la somme de ses approximants multi-linéaires.

Emplacement
I2M Luminy - TPR2, Amphithéâtre Herbrand 130-134 (1er étage)

Catégories


Secured By miniOrange