Canonicity for Cubical Type Theory.

Published in: J. Autom. Reason. (2019)

Keyphrases

theoretical framework
belief functions
image processing
multimedia
web services
decision trees
digital images
medical images
conceptual framework