diff --git a/README.md b/README.md index e926c61..000e522 100644 --- a/README.md +++ b/README.md @@ -1 +1,27 @@ # Bibliographie commentée du Cercle Transcendantaliste + +## Introduction à la logique + +- [“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) + +## Introduction à la syntaxe transcendantale + +- [nLab page on Transcendental Syntax – Boris Eng](http://nlab-pages.s3.us-east-2.amazonaws.com/nlab/show/transcendental+syntax) +- [“A gentle introduction to Girard’s Transcendental Syntax for the linear logician” – Boris Eng](https://hal.archives-ouvertes.fr/hal-02977750) +- [“Towards a resource based approximation theory of programs” (PhD thesis, section 5.3) – Davide Barbarossa](https://www.academia.edu/10495057/On_Trascendental_syntax_a_Kantian_program_for_logic) +- [“Towards a resource based approximation theory of programs” (PhD thesis, section 5.3) – Davide Barbarossa](https://lipn.univ-paris13.fr/~barbarossa/phdThesis.pdf) + +## Interaction + +- [“Information, Processes and Games” (section 1 & 5) – Samson Abramsky](https://arxiv.org/abs/1604.02603) +- [“Symmetry and interactivity in Programming” – Pierre-Louis Curien](https://hal.archives-ouvertes.fr/hal-00003868/) + +## Anti realisme + +- [“Radical anti-realism and substructural logics” – Jacques Dubucs & Mathieu Marion](https://halshs.archives-ouvertes.fr/halshs-00000055/) +- [“Which Logic for the Radical Anti-Realist?” – Denis Bonnay & Mikaël Cozic](https://halshs.archives-ouvertes.fr/halshs-00775655) + +## 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