normalisation to US english
]]>Fix typos. Minor clarifications on the philosophical and computational interpretation. Add links with realisability (more especially Beffara’s concurrent realisability) and subjects of computer science (descriptive complexity, certified programming, unit testing).
]]>Minor fix and typos
]]>Globally add more minor details.
]]>Add description of how the TS make logical assumptions explicit and add comparison/links to other fields (especially from Type Theory).
]]>Add philosophical and technical interpretations following the main reference Girard16 (Transcendental Syntax I).
]]>Added references and changed the reference for the attempt to formalize Transcendental Syntax (for a more recent one).
Boris Eng
]]>Added a link to
Boris Eng, Thomas Seiller, Stellar Resolution: Multiplicatives,(arXiv:2007.16077)
Anthony Hart
]]>Fixed pdf link to “Towards an understanding of Girard’s transcendental syntax”
ALH
]]>