(English) Chuck Liang speaks at GdT Théorie des types et réalisabilité

Désolé, cet article est seulement disponible en Anglais Américain.