La Classification Mathématique par matières 2000
Mathematics subject Classification 2000

Question : CC = 18C50
18-XX Category theory; homological algebra [For commutative rings see 13Dxx, for associative rings 16Exx, for groups 20Jxx, for topological groups and related structures 57Txx; see also 55Nxx and 55Uxx for algebraic topology]

• 18C50 Categorical semantics of formal languages [See also 68Q55, 68Q65] [Nouveau code MSC 2000]
  • Codes MSC1991 affiliés : 18C10, 18B99

68-XX Computer science [For papers involving machine computations and programs in a specific mathematical area, see Section -04 in that area]

• 68Q55 Semantics [See also 03B70, 06B35, 18C50]
• 68Q65 Abstract data types; algebraic specification [See also 18C50]

---

Mot-clé :

---

Retour à la page Classification Mathématique par Matières (version 2000)