From 4b482f0d61a7e83bdb28477943572a329f6c3865 Mon Sep 17 00:00:00 2001 From: engboris Date: Sun, 3 Nov 2024 14:44:20 +0100 Subject: [PATCH] =?UTF-8?q?Add=20nlab=20and=20wikip=C3=A9dia=20page?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- content/resources.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/content/resources.md b/content/resources.md index 65fae0b..d27c31a 100644 --- a/content/resources.md +++ b/content/resources.md @@ -3,6 +3,8 @@ title: "Resources" --- - *"Le fantôme de la transparence"* -- Jean-Yves Girard +- [*Syntaxe transcendentale (Wikipédia)*](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 à 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) @@ -11,4 +13,4 @@ title: "Resources" - [*"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 & Mikaël 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) \ No newline at end of file +- [*"Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic" -- Paolo Pistone*](https://hal.archives-ouvertes.fr/hal-01309218)