Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Kuntal Das Barman

Mots clés

FR

Théorie des types

Langages de programmation -- Sémantique

Théorèmes -- Démonstration automatique