Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
TBA
16 décembre 2024
Thomas Chatain
(LMF, ENS Paris-Saclay)
TBA
Navigation de l’article
A refutation of pebble minimisation via macro tree transducers (and linear λ-calculus?)
