Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

6 résultats
Page :
triés par

Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation

 Yannis Juglaret , Cătălin Hriţcu , Arthur Azevedo De Amorim , Boris Eng , Benjamin C. Pierce
29th IEEE Symposium on Computer Security Foundations (CSF), 2016, Lisabon, Portugal. pp.45--60, ⟨10.1109/CSF.2016.11⟩
Communication dans un congrès hal-01424795v1
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

An exegesis of transcendental syntax

 Boris Eng
Logic in Computer Science [cs.LO]. Université Sorbonne Paris Nord, 2023. English. ⟨NNT : ⟩
Thèse tel-04179276v1
Image document

A gentle introduction to Girard's Transcendental Syntax for the linear logician

 Boris Eng
2022
Pré-publication, Document de travail hal-02977750v7
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
Page :