Domain-Free Pure Type Systems.

Gilles Barthe Morten Heine Sørensen

Published in: LFCS (1997)

Keyphrases

building blocks
management system
distributed systems
knowledge base
learning systems
computer systems
data sets
computational intelligence
general purpose
systems require
cross domain
complex systems
domain knowledge
evolutionary algorithm
data streams
e learning
information systems
machine learning