Computer Science Laboratory

Справочник

TASSON Christine

Full Professor
Подразделение : APR
https://tasson.perso.lip6.fr

Окончание контракта : 31.12.2022

два Аспиранты (Научны(е)й руководител(и)ь / Со-руководитель)

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

Публикации 2022

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)