Heaps and Hops

• Main Authors: Docteur En Informatique, Soutenue Par, Jules Villard, Byron Cook, Dino Distefano, Rob Dockins, Mike Dodds, Ralf Treinen, Viktor Vafeiadis, Hongseok Yang, Nobuko Yoshida Et Bien D’autres
• Other Authors: The Pennsylvania State University CiteSeerX Archives
• Format: Text
• Language: English
• Subjects: Big up aux Gawky; Flutch; Nicolas et Oanig; et aux geeks de ♯sos; bgoglin; Dain; GruiicK; iderrick; julio; Louloutte; mandos; mrpingouin; nanuq; Nimmy; proutbot; stilgar
• Online Access: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.53

Ma gratitude va en premier lieu à Étienne Lozes, qui a encadré mes travaux avec enthousiasme, gentillesse et rigueur scientifique. Merci pour ta disponibilité sans faille. Je remercie également Cristiano Calcagno, qui a guidé mes premiers pas dans le domaine de la logique de séparation, et qui a donné le point de départ de cette thèse. Je remercie Daniel Hirschkoff pour avoir parrainé ma vie scientifique, et Alain Finkel pour avoir dirigé ma thèse. Je remercie toutes les autres personnes avec qui j’ai eu l’occasion de parler de science pendant ma thèse, et qui m’ont encouragé à continuer: Benedikt Bollig, Steve Brookes, Luis