A Type Theoretic Framework for Formal Metamodelling.

Published in: Architecting Systems with Trustworthy Components (2004)

Keyphrases

theoretic framework
information theoretic
spectral graph
learning algorithm
formal model
database
real time
data sets
neural network
real world
search engine
relational databases
co occurrence
multiple types
type checking