3 citations · 3 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2022★ 3 cited
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…
cs.LO2020
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…
cs.LO2020
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…