Structures mathématiques en théorie des types
1 : Inria, Laboratoire des Sciences du Numérique de Nantes
Institut National de Recherche en Informatique et en Automatique
À venir
| Type : | : | oral |
| Langue du texte intégral | : | français |
| Date de production, écriture | : | 07/05/2024 |
| Thématiques | : | Conférence invitée |
| PDF version | : |  PDF version |
