Resources
- “Le fantome de la transparence” — Jean-Yves Girard
- Syntaxe transcendentale (Wikipedia)
- Transcendental Syntax (nlab)
- “An exegesis of transcendental syntax” (PhD thesis) — Boris Eng
- “La logique face a l’arbitraire” (French) — Sidney Congard
- “Les limites de la correspondance preuve/programme” (French) — Laurent Regnier
- “Aristote et l’electricien : le branchement des idees” (French video) — Paolo Pistone
- “D’une logique a l’autre” (French video) — Laurent Regnier
- “Symmetry and interactivity in Programming” — Pierre-Louis Curien
- “Radical anti-realism and substructural logics” — Jacques Dubucs & Mathieu Marion
- “Which Logic for the Radical Anti-Realist?” — Denis Bonnay & Mikael Cozic
- “Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic” — Paolo Pistone