Login / Signup
An Implementation of Type: Type.
Thierry Coquand
Makoto Takeyama
Published in:
TYPES (2000)
Keyphrases
</>
computer vision
data mining
data structure
data model
scheduling problem