Computer Science Laboratory

Danh bạ các thành viên

TASSON Christine

Full Professor
Nhóm nghiên cứu : APR
https://tasson.perso.lip6.fr

Ngày đi : 12/31/2022

Two PhD Students (Ban lãnh đạo nghiên cứu / Đồng hướng dẫn)

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

Bài báo khoa học 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)