Two-Level Type Theory and Applications.

Danil Annenkov Paolo Capriotti Nicolai Kraus

Published in: CoRR (2017)

Keyphrases

theoretical framework
formal theory
three dimensional
databases
artificial intelligence
knowledge base
image processing
database systems
probabilistic model
conceptual framework