Shallow Embedding of Type Theory is Morally Correct.

Ambrus Kaposi András Kovács Nicolai Kraus

Published in: CoRR (2019)

Keyphrases

natural language processing
theoretical framework
theoretical basis
information retrieval
question answering
databases
information systems
decision trees
data structure
artificial neural networks
evolutionary algorithm
information extraction
dimensionality reduction
information theory
general theory
formal theory