Mathematical Informatics
Thomas Seiller · HAL (Le Centre pour la Communication Scientifique Directe) · 2024
I want to thank the reviewers of this thesis for accepting this task and the members of the jury for accepting to play this role.I thank them for taking the time to read this document even though some parts were necessarily far from their domain of expertise.Before thanking the many researchers that have had an impact on my work, I want to