Internal and Observational Parametricity for Cubical Agda.

Antoine Van Muylder Andreas Nuyts Dominique Devriese

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

digital images
internal and external
internal structures
topology preserving
neural network
objective function
pattern recognition
computational complexity
multiresolution
control system