Dependent types and explicit substitutions: a meta-theoretical development.

César A. Muñoz

Published in: Math. Struct. Comput. Sci. (2001)

Keyphrases

knowledge based systems
artificial intelligence
domain knowledge
image processing
case study
development process
data mining
machine learning
social networks
data structure
decision support
theoretical analysis
st century