Álvaro García-Pérez

Fantastyc améliore l'apprentissage fédéré grâce à la blockchain pour une meilleure vie privée et sécurité.

Cet article parle de la sécurité des types dans les systèmes de sous-types purs et des avancées récentes.