Existential type systems between Church and Curry style (type-free style).

Ken-etsu Fujita Aleksy Schubert

Published in: Theor. Comput. Sci. (2014)

Keyphrases

management system
artificial neural networks
multiple types
databases
neural network
social networks
high level
similarity measure
multiscale
software engineering
intelligent systems
building blocks
query answering