Login / Signup

A Calculus of Constructions with Explicit Subtyping.

Ali Assaf
Published in: TYPES (2014)
Keyphrases
  • databases
  • information systems
  • decision making
  • video sequences
  • digital libraries