Eng (Sambo) Boris

PhD Student in Computer Science, Team LoVe, LIPN (Université Sorbonne Paris Nord, France) engboris@hotmail.fr

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: