3 citations · 3 across the 3 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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…