par Filiot, Emmanuel
;Jecker, Ismaël Robin
;Löding, Christof;Muscholl, Anca;Puppis, Gabriele;Winter, Sarah 
Référence Proceedings - Symposium on Logic in Computer Science, 33
Publication Publié, 2024-07-01



Référence Proceedings - Symposium on Logic in Computer Science, 33
Publication Publié, 2024-07-01
Article révisé par les pairs