3.2 KiB
Bibliographie commentée du Cercle Transcendantaliste
Introduction à la logique
- “Aristote et l’électricien : le branchement des idées” (French video) – Paolo Pistone
- “D’une logique à l’autre” (French video) – Laurent Regnier
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.
Introduction à la syntaxe transcendantale
- nLab page on Transcendental Syntax – Boris Eng
- “A gentle introduction to Girard’s Transcendental Syntax for the linear logician” – Boris Eng
- “Towards a resource based approximation theory of programs” (PhD thesis, section 5.3) – Davide Barbarossa
- “Towards a resource based approximation theory of programs” (PhD thesis, section 5.3) – Davide Barbarossa
Interaction
- “Information, Processes and Games” (section 1 & 5) – Samson Abramsky
- “Symmetry and interactivity in Programming” – Pierre-Louis Curien
Anti realisme
- “Radical anti-realism and substructural logics” – Jacques Dubucs & Mathieu Marion
- “Which Logic for the Radical Anti-Realist?” – Denis Bonnay & Mikaël Cozic
Intuitions sur l'usine et l'usage de Girard
Graphes de Partage
Des objets proches des réseaux d'interaction, qui représentent des lambda-termes.
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.