Panel: What is the role of Topos in Information and Communication Technologies?
De Thierry Coquand, Jean-Claude Belfiore, Daniel Bennequin, Mérouane Debbah, Olivia Caramello
Apparaît dans la collection : 4th Huawei-IHES Workshop on Mathematical Theories for Information and Communication Technologies
Mérouane Debbah (Huawei Technologies) Olivia Caramello (Università degli Studi dell'Insubria in Como) Daniel Bennequin (Univ. Paris-Diderot) Thierry Coquand (University of Göteborg) Jean-Claude Belfiore (Huawei France)