Le moteur de recherche
des thèses françaises
Mariangiola Dezani-Ciancaglini
IdRefMots clés
FR |
EN
Langages de programmation
Systèmes de types
Sous-typage
Inférence de types
Typage graduel
Sémantiques non-strictes
Théorie des types
Types abstraits de données (informatique)
Concurrence
Preuve
Équations
Coinduction
Bisimulation
Equivalences comportementales
Encodages
Logique linéaire
Réduction parallèle
Réseaux de preuves
Pi calcul
Chorégraphies