Guide (in French): https://tsguide.refl.fr/ts.html https://tsguide.refl.fr/ts.html Theory: https://ncatlab.org/nlab/show/transcendental+syntax https://ncatlab.

Guide (in French): https://tsguide.refl.fr/ts.html https://tsguide.refl.fr/ts.html Theory: https://ncatlab.org/nlab/show/transcendental+syntax https://ncatlab.org/nlab/show/transcendental+syntax More Theory: https://ncatlab.org/nlab/show/Geometry+of+Interaction https://ncatlab.org/nlab/show/Geometry+of+Interaction Some sort of explanation: https://x.com/noncanonicAleae/status/1874893997791170719 https://x.com/noncanonicAleae/status/1874893997791170719