Pure type systems with explicit substitutions.

Daniel Fridlender Miguel Pagano

Published in: J. Funct. Program. (2015)

Keyphrases

complex systems
artificial intelligence
database
expert systems
test collection
learning systems
building blocks
intelligent systems
domain knowledge
relational databases
pairwise
multi agent systems
web services
multimedia
metadata
genetic algorithm
real world
real time