Sign in
Equality Is Typable in Semi-full Pure Type Systems.
Vincent Siles
Hugo 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