A First-Order Representation of Pure Type Systems Using Superdeduction.

Guillaume Burel

Published in: LICS (2008)

Keyphrases

data sets
management system
distributed systems
expert systems
intelligent systems
representation scheme
machine learning
information retrieval
website
database systems
feature space
software engineering
computer systems
building blocks
stochastic dominance
type definitions