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: Stellar Resolution: Multiplicatives - for the linear logician through examples (October 2020). Stellar Resolution: Multiplicatives (July 2020) with Thomas Seiller. Introduction to the Transcendental Syntax of Girard for the case of multiplicative linear Logic.