Hello, I’m Boris. I would like to understand the link between logic and computation and their foundation. I work on Girard’s Transcendental Syntax programme. I am member of the Transcendentalist Circle. Recent works: An article about Transcendental Syntax but I’m still thinking about the title [Work in progress / Almost completed / Please don’t read the previous version on HAL] with Thomas Seiller. A gentle introduction to Girard’s Transcendental Syntax for the linear logician [Unpublished] (May 2021).