Collège De France (sciences Et Technologies)
09 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
- Autor: Vários
- Narrador: Vários
- Editora: Podcast
- Duração: 1:08:57
- Mais informações
Informações:
Sinopse
Xavier Leroy Collège de France Science du logiciel Année 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
