Login / Signup

A module calculus for Pure Type Systems.

Judicaël Courant
Published in: J. Funct. Program. (2007)
Keyphrases
  • distributed systems
  • management system
  • data sets
  • learning algorithm
  • metadata
  • knowledge based systems
  • complex systems