Certifying Supercompilation for Martin-Löf's Type Theory.

Ilya G. Klyuchnikov Sergei A. Romanenko

Published in: Ershov Memorial Conference (2014)

Keyphrases

special case
theoretical basis
multiresolution
decision making
image processing
website
three dimensional
preprocessing
artificial neural networks
trade off
formal theory