⊢ Boris ENG

Hello, I’m Boris. I would like to understand the link between logic and computation. I work on Girard’s Transcendental Syntax programme (advisor: Thomas Seiller) and on the space complexity of the lambda-calculus (advisor: Damiano Mazza). [Curriculum Vitae]

Recent works:

• Stellar Resolution: Multiplicatives - for the linear logician through examples [Unpublished] (March 2021).
• Multiplicative Linear Logic from Logic Programs and Tilings [Unpublished] (January 2021) with Thomas Seiller.