Computer Science Laboratory

Staff directory

TASSON Christine

Full Professor
Team : APR
https://tasson.perso.lip6.fr

Departure date : 12/31/2022

Two PhD Students (Supervision / Co-supervision)

CARBONNEAU Danaël : Machines Co-inductives Monadiques pour la Programmation Probabiliste Certifiée.
THOME Emilie : No title.

2022 Publications

2022
- A. Guatto, Ch. Tasson, A. Vienot : “A reactive operational semantics for a lambda-calculus with time warps”, Journées Francophones des Langages Applicatifs - JFLA 2022, Saint-Médard-d'Excideuil, France (2022)