Login / Signup
Embedding a Second Order Type System into an Intersection Type System
Hirofumi Yokouchi
Published in:
Inf. Comput. (1995)
Keyphrases
</>
database
information retrieval
multimedia
higher order
databases
decision making
objective function