Dossier de Christine Tasson

Publications liées à la thèse

Livres ou chapitres de livre

Articles dans des revues internationales avec comité de lecture

Articles dans des conférences internationales avec comité de lecture

  1. C. Tasson. Algebraic totality, towards completeness. Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications (TLCA 2009).
  2. M. Pagani et C. Tasson. The inverse Taylor expansion problem in linear logic. Proceedings of the 24th Symposium on Logic in Computer Science (LICS 2009).
  3. P.-A. Mellies, N. Tabareau et C. Tasson An explicit formula for the free exponential modality of linear logic. Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP 2009).
  4. C. Urban et C. Tasson. Nominal Techniques in Isabelle/HOL. Proceedings of the 20th Conference on Automated Deduction (CADE 2005).

Articles dans des workshops internationaux avec comité de lecture

  1. A. Díaz-caro, S. Perdrix, C. Tasson et B. Valiron. Equivalence of algebraic lambda-calculi. 5th International Workshop on Higher-Order Rewriting (HOR 2010)

Autres publications

  1. R. Blute, T. Ehrhard et C. Tasson. A convenient differential category. (soumis en juin 2010).
  2. C. Tasson et L. Vaux. Transport of finiteness structures and applications. (soumis en mars 2010).
  3. P.-A. Mellies, N. Tabareau et C. Tasson. An explicit formula for the free exponential modality of linear logic.(Version longue soumise en mars 2010).
En cas de problème avec ce dossier, contactez le secrétaire du prix Mathieu Giraud