sémantique

Voir le(s) DEA suivant(s) :

• Sémantique preuves et programmation
• Mathématiques informatique et applications aux sciences de l'homme

Voir aussi :

• sémantique du langage naturel
• sémantiques fonctionnelles
• sémantique du parallélisme