Pure type systems with explicit substitution.

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

Keyphrases

expert systems
machine learning
artificial intelligence
website
management system
data sets
data mining
special case
building blocks