From 3c82d469b0847c75cd0ea7182635a518365d696d Mon Sep 17 00:00:00 2001
From: Julien Marquet <j@recursor.wf>
Date: Thu, 17 Mar 2022 16:44:19 +0100
Subject: [PATCH] =?UTF-8?q?flots,=20graphes=20de=20partage,=20syst=C3=A8me?=
 =?UTF-8?q?s=20ouverts?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 README.md | 32 +++++++++++++++++++++++++++++++-
 1 file changed, 31 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 000e522..cea97e3 100644
--- a/README.md
+++ b/README.md
@@ -5,6 +5,15 @@
 - [“Aristote et l’électricien : le branchement des idées” (French video) – Paolo Pistone](https://vimeo.com/167115532)
 - [“D’une logique à l’autre” (French video) – Laurent Regnier](https://vimeo.com/314743657)
 
+## Flots
+
+Une série de deux présentation sur les flots en GoI.
+
+La partie II explique la construction des flots et la représentation des exponentielles.
+
+- [Partie I -- Thomas Seiller](https://www.seiller.org/documents/Torino.pdf)
+- [Partie II -- Marc Bagnol](https://www.normalesup.org/~bagnol/notes/goi-torino.pdf)
+
 ## Introduction à la syntaxe transcendantale
 
 - [nLab page on Transcendental Syntax – Boris Eng](http://nlab-pages.s3.us-east-2.amazonaws.com/nlab/show/transcendental+syntax)
@@ -24,4 +33,25 @@
 
 ## Intuitions sur l'usine et l'usage de Girard
 
-- [“Les limites de la correspondance preuve/programme” (French) – Laurent Regnier](https://www.i2m.univ-amu.fr/perso/laurent.regnier/articles/ch.pdf)
\ No newline at end of file
+- [“Les limites de la correspondance preuve/programme” (French) – Laurent Regnier](https://www.i2m.univ-amu.fr/perso/laurent.regnier/articles/ch.pdf)
+
+## Graphes de Partage
+
+Des objets proches des réseaux d'interaction, qui représentent des lambda-termes.
+
+- [A General Theory of Sharing Graphs](https://repository.upenn.edu/cgi/viewcontent.cgi?referer=https://www.google.com/&httpsredir=1&article=1080&context=ircs_reports)
+
+## Systèmes et jeux ouverts
+
+Domaines de la théorie des catégories et de la théorie des jeux qui visent à décrire des "systèmes ouverts",
+que l'on voit comme des ensembles d'éléments interconnectés et connectables à d'autres éléments extérieurs,
+et où l'on s'intéresse à la composabilité des propriétés des systèmes.
+
+Potentiellement rattachables à la résolution stellaire: peut-on présenter une constellation comme un système ouvert ?
+Ou comme une « bibliothèque » de composants de systèmes ouverts ?
+
+Les systèmes ouverts sont peut-être une piste vers une extension catégorique de la réolution stellaire.
+
+- [“The Algebra of Open and Interconnected Systems” -- Brendan Fong](https://arxiv.org/pdf/1609.05382.pdf)
+- [“Towards Compositional Game Theory”](http://www.cs.ox.ac.uk/people/julian.hedges/papers/Thesis.pdf)
+