Encoding impredicative hierarchy of type universes with variables.

Published in: CoRR (2023)

Keyphrases

databases
hierarchical structure
encoding schemes
real time
information retrieval
social networks
higher level
tree structure
lower level
continuous variables
fractal image compression