We stand with Ukraine  

Boris Eng

According to our database1, Boris Eng authored at least 5 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
An exegesis of transcendental syntax: A journey into the logical machinery. (Une exégèse de la syntaxe transcendantale).
[BibTeX]
[DOI]
Boris Eng
PhD thesis, 2023

2022
Multiplicative linear logic from a resolution-based tile system.
[BibTeX]
[DOI]
Boris Eng
,
Thomas Seiller
CoRR, 2022

2020
Stellar Resolution: Multiplicatives - for the linear logician, through examples.
[BibTeX]
[DOI]
Boris Eng
CoRR, 2020

Stellar Resolution: Multiplicatives.
[BibTeX]
[DOI]
Boris Eng
,
Thomas Seiller
CoRR, 2020

2016
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation.
[BibTeX]
[DOI]
Yannis Juglaret
,
Catalin Hritcu
,
Arthur Azevedo de Amorim
,
Boris Eng
,
Benjamin C. Pierce
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016


  Loading...