Filtrer vos résultats
- 5
- 1
- 3
- 2
- 1
- 6
- 4
- 1
- 2
- 2
- 1
- 6
- 5
- 1
- 6
- 3
- 1
- 1
- 1
- 1
6 résultats
|
|
triés par
|
|
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation29th 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
|
||
|
An exegesis of transcendental syntaxLogic in Computer Science [cs.LO]. Université Sorbonne Paris Nord, 2023. English. ⟨NNT : ⟩
Thèse
tel-04179276v1
|
||
|
A gentle introduction to Girard's Transcendental Syntax for the linear logician2022
Pré-publication, Document de travail
hal-02977750v7
|
||
|
A gentle introduction to Girard's Transcendental Syntax5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
Communication dans un congrès
lirmm-03271496v1
|
||
|
Multiplicative linear logic from a resolution-based tile system2022
Pré-publication, Document de travail
hal-03725336v1
|
||
|
Multiplicative Linear Logic from Logic Programs and Tilings2021
Pré-publication, Document de travail
hal-02895111v3
|