Translating Proofs from an Impredicative Type System to a Predicative One.

Thiago Felicissimo Frédéric Blanqui Ashish Kumar Barnawal

Published in: CSL (2023)

Keyphrases

neural network
artificial intelligence
web pages
image processing
face recognition
similarity measure
multiscale
objective function
search algorithm