4th Huawei-IHES Workshop on Mathematical Theories for Information and Communication Technologies

Collection 4th Huawei-IHES Workshop on Mathematical Theories for Information and Communication Technologies

Organizer(s)

Date(s) 28/06/2025

00:00:00 / 00:00:00

4 6

Computational Interpretation of Topos Theory

By Thierry Coquand

Information about the video

Date of recording 12/04/2018
Date of publication 16/04/2018
Institution IHES
Licence CC BY-NC-ND
Format MP4

Domain(s)

MSC codes

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

All the collection videos

03:45

published on April 16, 2018

Mérouane Debbah et Emmanuel Ullmo - Introduction

01:19:14

published on April 16, 2018

Grothendieck toposes and their role in Mathematics

By Olivia Caramello

01:18:06

published on April 16, 2018

Topos and Information

By Daniel Bennequin

59:17

published on April 16, 2018

Computational Interpretation of Topos Theory

By Thierry Coquand

49:02

published on April 16, 2018

Toposes for Wireless Networks: An idea whose time has come

By Jean-Claude Belfiore

33:53

published on April 16, 2018

Panel: What is the role of Topos in Information and Communication Technologies?

By Thierry Coquand , Jean-Claude Belfiore , Daniel Bennequin , Mérouane Debbah , Olivia Caramello

Copyright Carmin.tv 2025

Give feedback