Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation. - Yannis Juglaret; Catalin Hritcu; Arthur Azevedo de Amorim; Boris Eng; Benjamin C. Pierce (CSF, 2016)

Stellar Resolution: Multiplicatives. - Boris Eng; Thomas Seiller (CoRR, 2020)

Stellar Resolution: Multiplicatives - for the linear logician, through examples. - Boris Eng (CoRR, 2020)

Multiplicative linear logic from a resolution-based tile system. - Boris Eng; Thomas Seiller (CoRR, 2022)

An exegesis of transcendental syntax: A journey into the logical machinery. (Une exégèse de la syntaxe transcendantale). - Boris Eng (2023)