Normalization for Cubical Type Theory.

Jonathan Sterling Carlo Angiuli

Published in: CoRR (2021)

Keyphrases

digital images
theoretical framework
theoretical basis
databases
machine learning
information retrieval
genetic algorithm
information systems
high level
optimal solution
relational databases
normalization method