| Post-doc au CEA |
- Je travaille sur les correspondances et les
complémentarités
entre les différentes techniques d'identification des chemins
d'exécution de programmes concurrents pour fournir des outils de
vérifiction applicables aux logiciels critiques.
- Je m'intéresse plus précisément aux protocoles
distribués tolérants aux pannes. (Rapport technique).
|
| Thèse |
- Sémantiques et syntaxes vectorielles de la logique
linéaire
(Manuscrit),
soutenue le 4 décembre 2009
(Présentation).
|
| Papiers en préparation ou soumis |
-
A convenient differential category. Blute R., Ehrhard T. and Tasson C.
(pdf)
-
Transport of finiteness structures and applications. Tasson C. and
Vaux L.
(pdf)
-
An explicit formula for the free exponential modality of linear logic.
Mellies P.-A., Tabareau N. and Tasson C. (version longue)
(pdf)
|
| Publications |
- Algebraic totality, towards completeness. Tasson C.
(TLCA 2009).
(pdf)
- The inverse Taylor expansion
problem in Linear Logic. Pagani M., Tasson C. (LICS 2009).
(pdf)
- An explicit formula for the free exponential modality of linear
logic. Mellies P.A., Tabareau N., Tasson C. (ICALP
2009).(pdf)
- Nominal Techniques in
Isabelle/HOL. Urban C., Tasson C. (CADE 2005)
(pdf)
|
| Workshop |
- Equivalence of algebraic lambda-calculi. Díaz-caro A.,
Perdrix S., Tasson C. and Valiron B. (HOR 2010)
(pdf)
| Tranparents et notes d'exposés |
-
Logique linéaire et sémantique différentielle (Choco - 22/10/2009).
(notes et
transparents)
- Totality, towards completeness, présentation de l'article du même nom à la conférence TLCA (Brésil - 27/06/2009).
(transparents)
-
Inversing Taylor expansion (Rencontres Geocal-Lac - Lyon)
(pdf)
-
Tutorial on the differential extensions of lambda-calculus and linear logic avec Michele Pagani, Paolo Tranquilli, Damiano Mazza (Projet Concerto - Bologne)
(pdf)
-
Totality, towards completeness. (Seminaire LiX-Typical - Séminaire LiX-MeASI - Ecole Polytechnique / Séminaire IML - Marseille)
(pdf)
-
Linearity from Mathematics to Computer Science. (Rims Kyoto - Japon)
(pdf)
-
Formule de Taylor, réseaux de la logique linéaire, réseaux différentiels. (Séminaire thésard Liafa-PPS)
(pdf)
-
Une version algébrique de la totalité. (Groupe de travail sémantique de PPS)
(pdf)
-
Développement de Taylor des programmes informatiques.
(Rencontres mathématiques de Cachan)
(pdf)
-
Foncteurs analytiques, combinatoire et sémantique.
(Séminaire thésard Liafa/Pps)
(pdf)
-
Foncteurs analytiques et logique linéaire.
(pdf)
|
| Rapport |
-
Rapport de M2 : Foncteurs analytiques et logique linéaire.
(pdf)
|
| Mobilité |
|
|
|