Associated Documents

• Type systems:

  • Simple Type System (STS)
  • Extended Calculus of Constructions (ECC)

• Standard Content Dictionaries

• Also:

  • Guidelines for writing CDs
  • CD standardisation procedure

Previous slide

Next slide

Back to first slide

View graphic version