Extending Homotopy Type Theory with Strict Equality.

Thorsten Altenkirch Paolo Capriotti Nicolai Kraus

Published in: CSL (2016)

Keyphrases

theoretical basis
theoretical framework
real world
knowledge base
data structure
expert systems
user interface
special case
probability distribution
medical images
computational model
formal theory
database query languages