Collège De France (sciences Et Technologies)
11 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
- Author: Vários
- Narrator: Vários
- Publisher: Podcast
- Duration: 1:01:39
- More information
Informações:
Synopsis
Xavier Leroy Collège de France Science du logiciel Année 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui