A Rewriting View of Simple Typing

Aaron Stump Hans Zantema Garrin Kimmell Roba El Haj Omar

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

viewpoint
probabilistic model
data structure
highly reliable
neural network
information systems
relational data