Finitary type theories with and without contexts.

Philipp G. Haselwarter Andrej Bauer

Published in: CoRR (2021)

Keyphrases

artificial intelligence
finite state
database systems
real world
relational databases
theoretical framework
data sets
databases
computer vision
special case
social context