Canonicity and homotopy canonicity for cubical type theory.

Thierry Coquand Simon Huber Christian Sattler

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

Keyphrases

digital images
theoretical framework
theoretical basis
databases
neural network
data sets
image processing
three dimensional
objective function
preprocessing
fixed point