ReFL
/
refl.fr
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add nlab and wikipédia page

This commit is contained in:
engboris 2024-11-03 14:44:20 +01:00
parent 1f39ad1d87
commit 4b482f0d61
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/resources.md
View File

@ -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)