Hello, I’m Boris. I would like to understand logic and computation. I work on the Transcendental Syntax project of Jean-Yves Girard and on the space complexity of the lambda-calculus. [Curriculum Vitae] Recent works: Transcendental Syntax: a computational foundation for linear logic [Work in progress] with Thomas Seiller. Interpretation of the computational and logical content of (Intuitionistic?) MELL hopefully with the introduction of the logical constant フ of Girard. Stellar Resolution: Multiplicatives - for the linear logician through examples [Unpublished] (October 2020). Stellar Resolution: Multiplicatives [Unpublished] (July 2020) with Thomas Seiller. Introduction to the Transcendental Syntax of Girard for the case of multiplicative linear Logic.