Login / Signup

An Implementation of Type: Type.

Thierry CoquandMakoto Takeyama
Published in: TYPES (2000)
Keyphrases
  • computer vision
  • data mining
  • data structure
  • data model
  • scheduling problem