Structures mathématiques en théorie des types
Assia Mahboubi  1  
1 : Inria, Laboratoire des Sciences du Numérique de Nantes
Institut National de Recherche en Informatique et en Automatique

À venir


Personnes connectées : 16 Vie privée
Chargement...