⊢ 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:

• New exponentials in a new framework for proof-nets [Work in progress] with Thomas Seiller.
• A new framework for proof-nets related to tilings and logic programs [Work in progress] with Thomas Seiller.
• A gentle introduction to Girard’s Transcendental Syntax for the linear logician [Unpublished] (May 2021).