Théorie des types et mathématiques constructives
Appears in collection : SHM - Constructivismes en mathématiques
Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »
Mathematics
and Interactions
00:00:00 / 00:00:00
Information about the video
- Date of recording 16/01/2015
- Date of publication 16/01/2015
- Institution IHP
- Licence CC BY-NC-ND
- Format MP4
Domain(s)
Last related questions on MathOverflow
You have to connect your Carmin.tv account with mathoverflow to add questionAsk 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
