Accéder directement au contenu

Thomas Seiller

3
Documents

Publications

boris-eng
Image document

A gentle introduction to Girard's Transcendental Syntax

 Boris Eng , Thomas Seiller
5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
Communication dans un congrès lirmm-03271496v1
Image document

Multiplicative linear logic from a resolution-based tile system

 Boris Eng , Thomas Seiller
2022
Pré-publication, Document de travail hal-03725336v1
Image document

Multiplicative Linear Logic from Logic Programs and Tilings

 Boris Eng , Thomas Seiller
2021
Pré-publication, Document de travail hal-02895111v3