Sign in

Equality Is Typable in Semi-full Pure Type Systems.

Vincent SilesHugo Herbelin
Published in: LICS (2010)
Keyphrases
  • database
  • distributed systems
  • data model
  • systems require
  • genetic algorithm
  • knowledge base
  • image processing
  • management system
  • intelligent systems
  • knowledge based systems
  • complex systems
  • computing systems