Habilitation à Diriger des Recherches

Quatre grandes familles de sémantiques

  • Dénotationnelles
  • Opérationnelles
  • Traductives
  • Axiomatiques

  • définies sur la structure du langage