发布于 2025-04-01
L’implémentation pratique d’un système de type
Aujourd’hui les systèmes de type fait l’objet de notre discussion
类型论
发布于 2023-06-29
L’axiome du choix, dans le domaine de la théorie intuitionniste des types
L’axiome du choix, c’est un axiome qui signifie qu’il y a
