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: Multiplicative linear logic from a resolution-based tile system with Thomas Seiller [Unpublished] (July 2022). A gentle introduction to Girard’s Transcendental Syntax for the linear logician [Unpublished] (May 2021).