Extending Homotopy Type Theory with Strict Equality.

Thorsten Altenkirch Paolo Capriotti Nicolai Kraus

Published in: CoRR (2016)

Keyphrases

theoretical framework
general theory
information systems
data mining
decision making
image processing
case study
multiscale
search algorithm
multi agent systems
information technology
information theory
conceptual framework
theoretical basis