Weak omega-categories from intensional type theory

Peter LeFanu Lumsdaine

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

theoretical framework
theoretical basis
higher order
general theory
decision trees
theoretical foundation
database
databases
information retrieval
image processing
multiscale
evolutionary algorithm
conceptual framework
formal theory