forked from TC/references
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1.7 KiB
1.7 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
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