---
layout: ../layouts/Markdown.astro
title: "Resources"
description: "Academic resources and references on logic and computation"
---

- *"Le fantome de la transparence"* -- Jean-Yves Girard
- [*Syntaxe transcendentale (Wikipedia)*](https://fr.wikipedia.org/wiki/Syntaxe_transcendantale)
- [*Transcendental Syntax (nlab)*](https://ncatlab.org/nlab/show/transcendental+syntax)
- [*"An exegesis of transcendental syntax" (PhD thesis)* -- Boris Eng](https://hal.science/tel-04179276v1)
- [*"La logique face a l'arbitraire" (French)* -- Sidney Congard](https://hal.science/hal-03689001/document)
- [*"Les limites de la correspondance preuve/programme" (French)* -- Laurent Regnier](https://www.i2m.univ-amu.fr/perso/laurent.regnier/articles/ch.pdf)
- [*"Aristote et l'electricien : le branchement des idees" (French video)* -- Paolo Pistone](https://vimeo.com/167115532)
- [*"D'une logique a l'autre" (French video)* -- Laurent Regnier](https://vimeo.com/314743657)
- [*"Symmetry and interactivity in Programming"* -- Pierre-Louis Curien](https://hal.archives-ouvertes.fr/hal-00003868/)
- [*"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 & Mikael Cozic](https://halshs.archives-ouvertes.fr/halshs-00775655)
- [*"Rule-Following and the Limits of Formalization: Wittgenstein's Considerations Through the Lens of Logic" -- Paolo Pistone*](https://hal.archives-ouvertes.fr/hal-01309218)
