3 citations · 3 across the 3 of their papers we have counts for
4 papers
Multiplicative linear logic from a resolution-based tile system
Boris Eng, Thomas Seiller
We present the stellar resolution, a "flexible" tile system based on Robinson's first-order resolution. After establishing formal definitions and basic properties of the stellar re…
A gentle introduction to Girard's Transcendental Syntax for the linear logician
Boris Eng
Technically speaking, the transcendental syntax is about designing logics with a computational foundation. It suggests a new framework for proof theory where logic (proofs, formula…
Stellar Resolution: Multiplicatives
Boris Eng, Thomas Seiller
We present a new asynchronous model of computation named Stellar Resolution based on first-order unification. This model of computation is obtained as a formalisation of Girard's t…
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim +2
Compartmentalization is good security-engineering practice. By breaking a large software system into mutually distrustful components that run with minimal privileges, restricting t…