Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
13e Séminaire Itzykson : Bootstrap conforme et géométrie spectrale
3 videos

13e Séminaire Itzykson : Bootstrap conforme et géométrie spectrale

Exposition Laurent Schwartz
4 videos

Exposition Laurent Schwartz

Open science put to the test of rights and duties: mathematicians and librarians, let's educate ours / Science ouverte a l'épreuve des droits et devoirs : mathématiciens-nes et bibliothécaires, (in)formons-nous
8 videos

Open science put to the test of rights and duties: mathematicians and librarians, let's educate ours / Science ouverte a l'épreuve des droits et devoirs : mathématiciens-nes et bibliothécaires, (in)formons-nous

Conférences grand public MathEnVille
1 videos

Conférences grand public MathEnVille

All the collections
CIMPA
CIRM
IHES
IHP
Institut Fourier
LMR
SMF
All the institutions
00:00:00 / 00:00:00

Computational Interpretation of Topos Theory

By Thierry Coquand

Appears in collection : 4th Huawei-IHES Workshop on Mathematical Theories for Information and Communication Technologies

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




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Copyright Carmin.tv 2025
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback